Verification of Modal Properties Using Infinite Boolean Equation Systems

    Research output: Book/ReportReportOther research output

    28 Downloads (Pure)
    Original languageUndefined
    Place of PublicationNijmegen
    PublisherComputing Science Institute, University of Nijmegen
    Publication statusPublished - 1997

    Publication series

    NameICIS Technical Reports
    PublisherComputing Science Institute, University of Nijmegen
    No.CSI-R9
    ISSN (Print)1571-5078

    Keywords

    • IR-64338
    • EWI-1103

    Cite this