- Record: found
- Abstract: not found
- Book Chapter: not found
Application and Theory of Petri Nets 2000
LoLA A Low Level Analyser
other
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references6
- Record: found
- Abstract: not found
- Article: not found
Parallel program schemata
Richard M Karp, Raymond E. Miller (1969)
- Record: found
- Abstract: not found
- Conference Proceedings: not found
A partial order approach to branching time logic model checking
- Record: found
- Abstract: not found
- Book Chapter: not found
Stubborn Sets for Standard Properties
Karsteb Schmidt (1999)