BibTeX
CSL-JSON
MLA
Harvard
Validating temporal properties of interacting objects
release_z7rgaodu6vcwdiz5gg6w44n2sy
by
Nomair A. Naeem,
Ondrej Lhotak
Published
in ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity
by ACM Press.
2008 p903-904
Archived Files and Locations
application/pdf
1.8 MB
file_j62r7ldipvagfkyg5pqtdqkqzu
|
uwspace.uwaterloo.ca (web) web.archive.org (webarchive) |
application/pdf
123.7 kB
file_xqoyqc73lbb5xc4pzd5p7ow6nm
|
web.archive.org (webarchive) plg.uwaterloo.ca (web) |
Read Archived PDF
Preserved and Accessible
Type
Stage
Year 2008
paper-conferenceStage
published
Year 2008
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