SATELIT-SATELIT AMATEUR RADIO YANG MENGGUNAKAN SISTEM DIGITAL
Type: Indeks Artikel prosiding/Sem
Call Number | 004 Int c |
Collection Type | Indeks Artikel LNCS |
Title | Partial-order reduction in symbolic state space explorarion, (LNCS-Lecture Notes in Computer Science 1254) Hal. 340-351 |
Author | R. Alur; R.K. Bryton; T.A. Henzinger; S. Qadeer; S.K. Rajamani; |
Publisher | Springer, 1997 |
Subject | |
Location |
Nomor Panggil | ID Koleksi | Status |
---|---|---|
004 Int c | TERSEDIA |