Comparing Refinements for Failure and Bisimulation Semantics

H. Eshuis (Keynote speaker)

    Activity: Talk or presentationOral presentation

    Description

    Opmerking: Key-note speaker Plaats van uitgifte: Buenos Aires, Argentina
    Period1 Feb 1999
    Event titleWAIT'99 Workshop Argentino de Informatica Teoretica: null
    Event typeConference
    LocationBuenos Aires, Argentina

    Keywords

    • METIS-120951