11th International SPIN Workshop on Model Checking of Software, 2004. Susanne Graf, Laurent Mounier (eds.), Lecture Notes in Computer Science, 2004.
Download paper: (link)
Copyright notice:
[ Model-based verification techniques ]
@Book{SPIN04,
Title = {11th International SPIN Workshop on Model Checking of Software, 2004},
editor = {Graf, Susanne and Mounier, Laurent},
Volume = {LNCS 2989},
Series = {Lecture Notes in Computer Science},
Year = {2004}
}
Get EndNote Reference (.ref)