BibTeX
CSL-JSON
MLA
Harvard
Formal specification-based online monitoring
release_xfyzzx5on5ef7gzywosbfj5qbq
by
Hui Liang,
Jin Song Dong,
Jing Sun,
R. Duke,
R.E. Seviora
Released
as a paper-conference
by IEEE Comput. Soc.
Archived Files and Locations
application/pdf
210.1 kB
file_fw34ranbuzddxhabzxl2eawbfu
|
www.cs.auckland.ac.nz (web) web.archive.org (webarchive) |
Read Archived PDF
Preserved and Accessible
Type
Stage
paper-conference
Stage
unknown
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