BibTeX
CSL-JSON
MLA
Harvard
Using a formal specification and a model checker to monitor and direct simulation
release_u2rbyb6255bslc3d3kfw2q7t7q
by
Serdar Tasiran, Yuan Yu, Brannon Batson
Released
as a paper-conference
by ACM Press.
2003
Archived Files and Locations
application/pdf 561.2 kB
file_wapfg4svcje4xfvh7jp7vilp6e
|
web.archive.org (webarchive) www.cs.york.ac.uk (web) |
application/pdf 416.7 kB
file_miebdrnsvzae7icz27kabbkjcq
|
web.archive.org (webarchive) web.archive.org (webarchive) network.ku.edu.tr (web) web.archive.org (webarchive) web.archive.org (webarchive) |
Read Archived PDF
Preserved and Accessible
Type
Stage
Year 2003
paper-conference
Stage
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