BibTeX
CSL-JSON
MLA
Harvard
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
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
Stage
Year 2002
chapter
Stage
published
Year 2002
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
access all versions, variants, and formats of this works (eg, pre-prints)
Cite This
Lookup Links
oaDOI/unpaywall (OA fulltext)
Crossref Metadata (via API)
Worldcat
SHERPA/RoMEO (journal policies)
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar
Crossref Metadata (via API)
Worldcat
SHERPA/RoMEO (journal policies)
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar