Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework release_dpc6ndur3nfbnf7iqa7upl24he

by Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, Robby

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

2005   p148-152

Archived Files and Locations

application/pdf  89.2 kB
file_axfmpdypnzd4tjyrfgwvkw4azm
link.springer.com (publisher)
web.archive.org (webarchive)
web.archive.org (webarchive)
static.aminer.org (aggregator)
Read Archived PDF
Preserved and Accessible
Type  chapter
Stage   published
Year   2005
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: eaf2254c-2ea9-4cfe-b560-6ca94962fe7a
API URL: JSON