Pemodelan logika pemeriksaan temporal linier dengan Buchi Automata
| Main Authors: | , |
|---|---|
| Format: | Thesis |
| Published: |
[Yogyakarta] : Universitas Gadjah Mada
2004
|
| Subjects: |
| Main Authors: | , |
|---|---|
| Format: | Thesis |
| Published: |
[Yogyakarta] : Universitas Gadjah Mada
2004
|
| Subjects: |