Penggunaan algoritma computational tree logic model checking untuk pemeriksaan rancangan sistem microwave oven
| Format: | Bachelors Doctoral |
|---|---|
| Terbitan: |
Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia
, 2006
|
| Subjects: | |
| Online Access: |
http://lib.ui.ac.id/file?file=digital/20180862-S27633-Ummu Maemunah.pdf |