Lecture Notes in Computer Science - Reachability Problems
Latest Publications

TOTAL DOCUMENTS

20
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642044199, 9783642044205
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals How to Tackle Integer Weighted Automata Positivity

2009 ◽  
pp. 79-92
Author(s):  
Yohan Boichut ◽  
Pierre-Cyrille Héam ◽  
Olga Kouchnarenko
Keyword(s):  
Weighted Automata

Limit Set Reachability in Asynchronous Graph Dynamical Systems

2009 ◽  
pp. 217-232 ◽  
Author(s):  
V. S. Anil Kumar ◽  
Matt Macauley ◽  
Henning S. Mortveit
Keyword(s):  
Dynamical Systems ◽  
Limit Set

scholarly journals On Yen’s Path Logic for Petri Nets

2009 ◽  
pp. 51-63 ◽  
Author(s):  
Mohamed Faouzi Atig ◽  
Peter Habermehl
Keyword(s):  
Petri Nets
Load More ...
Sign in / Sign up

Export Citation Format

Share Document