Model checking software: 9th international SPIN workshop, Grenoble, France, April 11-13, 2002 : proceedings

D. Bosnacki (Editor), S. Leue (Editor)

Research output: Book/ReportBook editingAcademic

Abstract

No abstract.
Original languageEnglish
Place of PublicationBerlin
PublisherSpringer
Number of pages257
ISBN (Print)978-3-540-43477-1
DOIs
Publication statusPublished - 2002

Publication series

NameLecture notes in computer science
Volume2318
ISSN (Print)0302-9743
NameModel checking software : international SPIN workshop
Volume9

Fingerprint

Dive into the research topics of 'Model checking software: 9th international SPIN workshop, Grenoble, France, April 11-13, 2002 : proceedings'. Together they form a unique fingerprint.

Cite this