Library Automation and Digital Archive
LONTAR
Fakultas Ilmu KomputerUniversitas Indonesia
| Call Number | 004 Int c |
| Collection Type | Indeks Artikel prosiding/Sem |
| 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 |
| Nomor Panggil | ID Koleksi | Status |
|---|---|---|
| 004 Int c | TERSEDIA |