Library Automation and Digital Archive
LONTAR
Fakultas Ilmu KomputerUniversitas Indonesia
| Call Number | SEM-276 |
| Collection Type | Indeks Artikel prosiding/Sem |
| Title | Verifikasi cocurrent system dengan model checker SMV, Hal. 347-352 |
| Author | Ade Azurat, Belawati Widjaja; |
| Publisher | NACSIT 2007 : Proceedings National Conference on Computer Science & Information Technology 2007, January 28-30, 2007 |
| Subject | Model checker, verifikasi, reliable software, SMV, formal method |
| Location |
| Nomor Panggil | ID Koleksi | Status |
|---|---|---|
| SEM-276 | TERSEDIA |