Environment Abstraction for Parameterized Verification release_4ebjs3zw6vf5lfe7qvvemyrgpu

by Edmund Clarke, Muralidhar Talupur, Helmut Veith

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

2005   p126-141

Archived Files and Locations

application/pdf  286.6 kB
file_lkrl7atuinfgdalz662fwc64g4
web.archive.org (webarchive)
www.cs.cmu.edu:80 (web)
web.archive.org (webarchive)
www.cs.cmu.edu (web)
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: 4b2eef04-2537-440c-850b-0921e070e0e1
API URL: JSON