Interactively verifying a simple real-time scheduler

Fidge C., Kearney P. and Utting M. (1995). Interactively verifying a simple real-time scheduler. In: Computer Aided Verification - 7th International Conference, CAV 1995, Proceedings. 7th International Conference on Computer Aided Verification, CAV 1995, , (395-408). July 3, 1995-July 5, 1995.

Author Fidge C.
Kearney P.
Utting M.
Title of paper Interactively verifying a simple real-time scheduler
Conference name 7th International Conference on Computer Aided Verification, CAV 1995
Conference dates July 3, 1995-July 5, 1995
Proceedings title Computer Aided Verification - 7th International Conference, CAV 1995, Proceedings
Journal name Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Series Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Publisher Springer Verlag
Publication Year 1995
Sub-type Fully published paper
ISBN 9783540600459
ISSN 1611-3349
Volume 939
Start page 395
End page 408
Total pages 27
Subjects 1700 Computer Science
2614 Theoretical Computer Science
Q-Index Code E1
Q-Index Status Provisional Code
Institutional Status Unknown

Document type: Conference Paper
Collection: Scopus Import
 
Versions
Version Filter Type
Citation counts: Scopus Citation Count Cited 0 times in Scopus Article
Google Scholar Search Google Scholar
Created: Tue, 28 Jun 2016, 13:59:37 EST by System User