Implementing a CTL Model Checker

Keijo Heljanko

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    Original languageEnglish
    Title of host publicationHumboldt-University, September 1996
    EditorsInformatik-Bericht Nr. 69
    Place of PublicationBerlin, Saksa
    PublisherHumboldt University
    Pages75-84
    Publication statusPublished - 1996
    MoE publication typeA4 Article in a conference publication

    Cite this