Call Number | 004.33 Mal f |
Collection Type | Indeks Artikel LNCS |
Title | A Case study in timed CSP: the railroad crossing problem, Hal. 69-74 |
Author | Luming Lai and Phil Watson; |
Publisher | Springer, 1997 |
Subject | |
Location |
Nomor Panggil | ID Koleksi | Status |
---|---|---|
004.33 Mal f | TERSEDIA |