BibTeX
CSL-JSON
MLA
Harvard
Improved verification methods for concurrent systems
release_nvslkzerojachh7mptsossxnhq
by
Ploeger, SCW (Bas), Groote, JF (Jan Friso), Wijk, JJ (Jarke) = (Jack) Van, Willemse, TAC (Tim)
Published
by Technische Universiteit Eindhoven.
2009
Archived Files and Locations
application/pdf 1.5 MB
file_k5liiedklzf4notm4izgewjhyu
|
pure.tue.nl (publisher) web.archive.org (webarchive) |
Read Archived PDF
Preserved and Accessible
DOI
10.6100/ir643995
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)
Datacite Metadata (via API)
Worldcat
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar
Datacite Metadata (via API)
Worldcat
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar