Call Number | 004 Int c |
Collection Type | Indeks Artikel LNCS |
Title | An integration of model checking with automated proof checking, (LNCS-Lecture Notes in Computer Science 939) Hal 84-97 |
Author | S. Rajan; N. Shankar; M. K. Srivas; |
Publisher | Springer, 1995 |
Subject | |
Location |
Nomor Panggil | ID Koleksi | Status |
---|---|---|
004 Int c | TERSEDIA |