BibTeX
CSL-JSON
MLA
Harvard
Automatic trace analysis for logic of constraints
release_ipppu6b7pnf4hi2go5446byari
by
Xi Chen,
Harry Hsieh,
Felice Balarin,
Yosinori Watanabe
Released
as a paper-conference
by ACM Press.
2003
Archived Files and Locations
application/pdf
103.9 kB
file_szatapetbvfxtgfofaio7tcy3m
|
alumni.cs.ucr.edu:80 (web) web.archive.org (webarchive) |
application/pdf
209.4 kB
file_dkuifok6mvhqpm6vvfvt4mplo4
|
www.cs.ucr.edu:80 (web) web.archive.org (webarchive) |
application/pdf
192.7 kB
file_ukqbjf2lvzbqljuclgdoumxrc4
|
web.archive.org (webarchive) www.cs.york.ac.uk (web) web.archive.org (webarchive) www.cecs.uci.edu (web) |
Read Archived PDF
Preserved and Accessible
Type
Stage
Year 2003
paper-conferenceStage
unknown
Year 2003
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
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar
Crossref Metadata (via API)
Worldcat
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar