Verification of Modal Properties Using Boolean Equation Systems

    Research output: Book/ReportBookAcademic

    108 Downloads (Pure)
    Original languageUndefined
    Place of PublicationBertz Verlag, Berlin
    PublisherEdition versal 8
    Number of pages182
    ISBN (Print)3-929470-58-6
    Publication statusPublished - 1997

    Publication series

    NameEdition versal 8
    PublisherBertz Verlag

    Keywords

    • EWI-1078
    • IR-64253

    Cite this