![](/img/cover-not-exists.png)
[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 1217 || Space efficient reachability analysis through use of pseudo-root states
Brinksma, EdVolume:
10.1007/BF
Year:
1997
DOI:
10.1007/bfb0035380
File:
PDF, 833 KB
1997