Esparza, Javier.
Unfoldings A Partial-Order Approach to Model Checking / [electronic resource] : by Javier Esparza, Keijo Heljanko. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. - digital. - Monographs in Theoretical Computer Science An EATCS Series, 1431-2654 . - Monographs in Theoretical Computer Science An EATCS Series, .
9783540774266
10.1007/978-3-540-77426-6 doi
Computer science.
Software engineering.
Information theory.
Logic design.
Computer Science.
Logics and Meanings of Programs.
Theory of Computation.
Software Engineering.
QA76.9.L63 QA76.5913 QA76.63
005.1015113
Unfoldings A Partial-Order Approach to Model Checking / [electronic resource] : by Javier Esparza, Keijo Heljanko. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. - digital. - Monographs in Theoretical Computer Science An EATCS Series, 1431-2654 . - Monographs in Theoretical Computer Science An EATCS Series, .
9783540774266
10.1007/978-3-540-77426-6 doi
Computer science.
Software engineering.
Information theory.
Logic design.
Computer Science.
Logics and Meanings of Programs.
Theory of Computation.
Software Engineering.
QA76.9.L63 QA76.5913 QA76.63
005.1015113