| Alkuperäiskieli | Englanti |
|---|---|
| Otsikko | Humboldt-University, September 1996 |
| Toimittajat | Informatik-Bericht Nr. 69 |
| Julkaisupaikka | Berlin, Saksa |
| Kustantaja | Humboldt University of Berlin |
| Sivut | 75-84 |
| Tila | Julkaistu - 1996 |
| OKM-julkaisutyyppi | A4 Artikkeli konferenssijulkaisussa |
Implementing a CTL Model Checker
Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference article in proceedings › Scientific › vertaisarvioitu