| DaftarIsitemplate |
| Call Number |
| SEM-276 |
| 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 |