Statechart Analysis with Symbolic PathFinder release_kzu7ckcufjcjbcgl4r5ers5vzi

by Corina S. Pasareanu, Daniel Balasubramanian

Archived Files and Locations

application/pdf  253.1 kB
file_4qcjqeybu5cjrmti3jhfeswcki
ntrs.nasa.gov (web)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  paper-conference
Stage   published
Year   2012
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: b64b6705-a213-4374-aeda-c3c1c0fd6eee
API URL: JSON