LoLA A Low Level Analyser
Top Cited Papers
- 9 June 2000
- book chapter
- Published by Springer Nature
- p. 465-474
- https://doi.org/10.1007/3-540-44988-4_27
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- A partial order approach to branching time logic model checkingPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Integrating Low Level Symmetries into Reachability AnalysisPublished by Springer Nature ,2000
- How to calculate symmetries of Petri netsActa Informatica, 2000
- Stubborn Sets for Standard PropertiesPublished by Springer Nature ,1999
- A linear local model checking algorithm for CTLPublished by Springer Nature ,1993
- Parallel program schemataJournal of Computer and System Sciences, 1969