Library Automation and Digital Archive
LONTAR
Fakultas Ilmu KomputerUniversitas Indonesia
| Call Number | SEM-253 |
| Collection Type | Indeks Artikel prosiding/Sem |
| Title | Developments in hybrid systems synthesis and verfications, Hal. 141-160 |
| Author | Amir Pnuli; |
| Publisher | Second European workshop on-real-time and hybrid systems wednesday May, 31, Thurday June 1st and Friday June 2nd 1995 |
| Subject | |
| Location |
| Nomor Panggil | ID Koleksi | Status |
|---|---|---|
| SEM-253 | TERSEDIA |