NuSMV 2: An OpenSource Tool for Symbolic Model Checking release_xnvtvddjfvfazjzllgg22r5euq

by Alessandro Cimatti, Edmund Clarke, Enrico Giunchiglia, Fausto Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, Armando Tacchella

Published in Lecture Notes in Computer Science by Springer Berlin Heidelberg.

2002   p359-364

Archived Files and Locations

application/pdf  123.4 kB
file_gnl2iyvb3nhirjphq62nz7vnci
eprints.biblio.unitn.it (repository)
web.archive.org (webarchive)
application/pdf  77.3 kB
file_tq5msl5b4fgltdkakuaxaieyhe
web.archive.org (webarchive)
klase.fbk.eu (web)
application/pdf  77.3 kB
file_eonooym4dzbvjaspnyqlgplwm4
web.archive.org (webarchive)
klase.fbk.eu (web)
application/pdf  57.4 kB
file_eqjbcujmlna5pgrxidoglpu2ny
web.archive.org (webarchive)
www.cs.cmu.edu (web)
application/pdf  55.5 kB
file_ti5vihe6fja3tiup4wkqcbmday
web.archive.org (webarchive)
nusmv.fbk.eu:80 (web)
application/pdf  122.3 kB
file_unzaha4rgrfzvbk6oqou7xm37q
web.archive.org (webarchive)
link.springer.com (publisher)
Read Archived PDF
Preserved and Accessible
Type  chapter
Stage   published
Year   2002
Container Metadata
Not in DOAJ
Not in Keepers Registry
ISSN-L:  0302-9743
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: aa2352e6-1442-42c6-aa12-f31c9924ba9a
API URL: JSON