BibTeX
CSL-JSON
MLA
Harvard
Dynamic priorities for modeling real-time
release_fges2ek3aremvppiii2cew6uiq
by
Girish Bhat, Rance Cleaveland, Gerald Lüttgen
Published
in Formal Description Techniques and Protocol Specification, Testing and Verification by Springer US.
1997 p321-336
Archived Files and Locations
application/pdf 1.9 MB
file_s34jbviucvgmvfug5khkl34zou
|
web.archive.org (webarchive) link.springer.com (publisher) |
Read Archived PDF
Preserved and Accessible
Type
Stage
Year 1997
chapter
Stage
published
Year 1997
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