Library Automation and Digital Archive
LONTAR
Fakultas Ilmu KomputerUniversitas Indonesia
| Call Number | SEM-374 |
| Collection Type | Indeks Artikel prosiding/Sem |
| Title | Simulations in Rank-Based Buchi Automata Complementation (447-467) |
| Author | Yu-Fang Chen Vojtech Harvlena Ondrej Lengal; |
| Publisher | |
| Subject | |
| Location |
| Nomor Panggil | ID Koleksi | Status |
|---|---|---|
| SEM-374 | TERSEDIA |