Normal view MARC view ISBD view

Automated Derivation of Time Bounds in Uniprocessor Concurrent Systems

Avrunin, George S. Corbett, James C. Wileden, Jack C.

Automated Derivation of Time Bounds in Uniprocessor Concurrent Systems - 708-719 p.

Subjects--Topical Terms:
Concurrent Systems
Real-Time Systems
Automated Analysis

Print
Request article
Suggest for purchase
Send to device
Save record
BIBTEX Dublin Core ISBD MARCXML RIS
More searches

Search for this title in:
Other Databases (Google Scholar) Open Library (openlibrary.org) Pakistan Union Catalogue (pastic.gov.pk) Other Libraries (WorldCat)