BibTeX
CSL-JSON
MLA
Harvard
Model checking probabilistic pushdown automata
release_tdxlnifkorcgdcwumvfzwgi6am
by
J. Esparza,
A. Kucera,
R. Mayr
Archived Files and Locations
application/pdf
429.3 kB
file_cvqtzngtj5b3rnrf46dn3vtvsy
| |
application/pdf
277.3 kB
file_7myichhpyjeazat2wy6ykhoxri
|
web.archive.org (webarchive) www.fi.muni.cz (web) |
application/pdf
319.7 kB
file_p33k2qcwfraabowoyclitqwbuu
|
web.archive.org (webarchive) www.informatik.uni-stuttgart.de (web) web.archive.org (webarchive) www2.informatik.uni-stuttgart.de (web) |
application/pdf
209.9 kB
file_tor2ylttnjdxdcm5rwqikszhui
|
web.archive.org (webarchive) www7.informatik.tu-muenchen.de (web) web.archive.org (webarchive) web.archive.org (webarchive) www7.in.tum.de (web) + 2 more URLs |
Read Archived PDF
Preserved and Accessible
Type
Stage
Year 2004
paper-conferenceStage
published
Year 2004
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