Library Automation and Digital Archive
LONTAR
Fakultas Ilmu KomputerUniversitas Indonesia
| Call Number | SEM-253 |
| Collection Type | Indeks Artikel prosiding/Sem |
| Title | Specifying timed state sequences in powerful decidable logics and timed automata, Hal. 69-80 |
| Author | Thomas Wilke; |
| 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 |