International SPIN Workshop (5th 1999 Trento, Italy)

Identifiers

Open LibraryOL31716A

Top Subjects

SPIN (Computer file) -- Congresses (1)
Computer software -- Verification -- Congresses (1)

Books by International SPIN Workshop (5th 1999 Trento, Italy)

Total count: 1

Theoretical and practical aspects of SPIN model checking5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proceedings

Springer-Verlag1999-01-01