Saturation-Based Symbolic Reachability Analysis Using Conjunctive and Disjunctive Partitioning release_aqdhxvceyff3lhd2q44eimy67m

by Gianfranco Ciardo, Andy Jinqing Yu

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

2005   p146-161

Archived Files and Locations

application/pdf  243.3 kB
file_nl2m6riazfdrdav3koqbmsfimm
www.cs.ucr.edu (web)
web.archive.org (webarchive)
web.archive.org (webarchive)
application/pdf  130.8 kB
file_yiiy7x2vyjdf3fgiudh7f7fo2m
web.archive.org (webarchive)
www.cs.ucr.edu (web)
application/pdf  647.3 kB
file_7tpczkuts5ff5eedaropjc3qfe
web.archive.org (webarchive)
link.springer.com (publisher)
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: 353e0bce-6ca0-4eef-98e5-081909abdf8d
API URL: JSON