An SMT-Based Approach to Coverability Analysis release_hhnui6ec3ja2rghjehfa3u2qtu

by Javier Esparza, Ruslán Ledesma-Garza, Rupak Majumdar, Philipp Meyer, Filip Niksic

Published in Lecture Notes in Computer Science by Springer International Publishing.

2014   p603-619

Archived Files and Locations

application/pdf  701.5 kB
file_zlfcehzpjvfyjmltujcabyilni
www.mpi-sws.org (web)
web.archive.org (webarchive)
application/pdf  311.1 kB
file_fipxareobja6zjhuqearh7aeiy
link.springer.com (publisher)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  chapter
Stage   published
Year   2014
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: fbb93646-2a7b-4d53-a794-af39755ec236
API URL: JSON