A Complete finite prefix for process algebra

Langerak, R. (Keynote speaker)

    Activity: Talk or presentationOral presentation

    Description

    Opmerking: Key-note speaker Plaats van uitgifte: Trento, Italy
    Period7 Jul 1999
    Event title11th International Conference on Computer Aided Verification, CAV 1999
    Event typeConference
    Conference number11
    LocationTrento, Italy

    Keywords

    • METIS-121476