Model Checking Software 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005. Proceedings /

Corporate Author: SpringerLink (Online service)
Other Authors: Godefroid, Patrice.
Format: Electronic
Language: English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
Series: Lecture Notes in Computer Science, 3639
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!