DaftarIsitemplate

Call Number

004 Int c

Title

Interactively verifying a simple real-time scheduler, (LNCS-Lecture Notes in Computer Science 939) Hal 395-408

Author

Colin Fidge; Peter Kearney; Mark Utting;

Publisher

Computer aided verification: 7th international workshop; Proceedings/CAV'95, Liege, Belgium, July 3-5, 1995

Subject

Location