Hourglass Automata

Y. Osada, Tim French, Mark Reynolds, H. Smallbone

    Research output: Chapter in Book/Conference paperConference paperpeer-review

    3 Citations (Scopus)
    Original languageEnglish
    Title of host publicationProceedings Fifth International Symposium on Games, Automata, Logics and Formal Verification
    Place of PublicationUSA
    PublisherCornell University Library
    VolumeEPTCS 161
    ISBN (Print)20752180
    Publication statusPublished - 2014
    EventHourglass Automata - Verona, Italy
    Duration: 1 Jan 2014 → …


    ConferenceHourglass Automata
    Period1/01/14 → …

    Cite this