Unfoldings A Partial-Order Approach to Model Checking / [electronic resource] :
by Javier Esparza, Keijo Heljanko.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
- v.: digital
- Monographs in Theoretical Computer Science An EATCS Series, 1431-2654 .
9783540774266
Computer science Software engineering Information theory Logic design Computer Science Logics and Meanings of Programs Theory of Computation Software Engineering