International SPIN Workshop (2004 :)
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Model checking software = 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings /
by:
International SPIN Workshop (2004 :); Graf, Susanne.; Mounier, Laurent.; NetLibrary, Inc.
(Electronic resources)
Model checking software = 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings /
by:
Graf, Susanne.; Mounier, Laurent.; SpringerLink (Online service); International SPIN Workshop (2004 :)
(Language materials, printed)