Unfoldings [electronic resource] : A Partial-Order Approach to Model Checking / by Javier Esparza, Keijo Heljanko.
By: Esparza, Javier.
Contributor(s): Heljanko, Keijo | SpringerLink (Online service).
Material type:
BookSeries: Monographs in Theoretical Computer Science An EATCS Series.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Description: digital.ISBN: 9783540774266.Subject(s): Computer science | Software engineering | Information theory | Logic design | Computer Science | Logics and Meanings of Programs | Theory of Computation | Software EngineeringDDC classification: 005.1015113 Online resources: Click here to access online
In:
Springer eBooks
No physical items for this record
There are no comments for this item.