BibTeX
CSL-JSON
MLA
Harvard
Saturation-Based Symbolic Reachability Analysis Using Conjunctive and Disjunctive Partitioning
release_aqdhxvceyff3lhd2q44eimy67m
by
Gianfranco Ciardo, Andy Jinqing Yu
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
Stage
Year 2005
chapter
Stage
published
Year 2005
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
access all versions, variants, and formats of this works (eg, pre-prints)
Cite This
Lookup Links
oaDOI/unpaywall (OA fulltext)
Crossref Metadata (via API)
Worldcat
SHERPA/RoMEO (journal policies)
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar
Crossref Metadata (via API)
Worldcat
SHERPA/RoMEO (journal policies)
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar