Using Modal Logics for the Formal Analysis and Synthesis of Hybrid Control Systems

Jennifer M. Davoren

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

    Original languageEnglish
    Title of host publicationAWCL-2000
    EditorsLloyd, J
    Place of PublicationCanberra
    PublisherAustralian National University
    EditionPeer Reviewed
    Publication statusPublished - 2000
    EventAustralasian Workshop on Computational Logic (AWCL 2000) - Canberra Australia, Australia
    Duration: 1 Jan 2000 → …


    ConferenceAustralasian Workshop on Computational Logic (AWCL 2000)
    Period1/01/00 → …
    OtherMarch 2 2000

    Cite this