Retrieving an automaton from a McMillan prefix

Langerak, R. (Keynote speaker)

    Activity: Talk or presentation › Oral presentation

    Description

    Opmerking: Key-note speaker Plaats van uitgifte: Dagstuhl, Germany
    Period13 Oct 1999
    Event titleVoordracht Workshop on Temporal Logics for Distribured Systems
    Event typeConference
    LocationDagstuhl, Germany

    Keywords

    • METIS-121433