Valmari, Antti.
Model Checking Software 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006. Proceedings / [electronic resource] : edited by Antti Valmari. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. - digital. - Lecture Notes in Computer Science, 3925 0302-9743 ; . - Lecture Notes in Computer Science, 3925 .
9783540331032
10.1007/11691617 doi
Computer science.
Software engineering.
Logic design.
Computer Science.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
QA76.758
005.1
Model Checking Software 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006. Proceedings / [electronic resource] : edited by Antti Valmari. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. - digital. - Lecture Notes in Computer Science, 3925 0302-9743 ; . - Lecture Notes in Computer Science, 3925 .
9783540331032
10.1007/11691617 doi
Computer science.
Software engineering.
Logic design.
Computer Science.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
QA76.758
005.1