Implementation Relations for Transition System Specifications

G.J. Tretmans (Keynote speaker)

    Activity: Talk or presentationOral presentation

    Description

    Opmerking: Key-note speaker Plaats van uitgifte: Madrid, Spain
    Period12 Feb 1996
    Event titleVoordracht, COST 247 Meeting
    Event typeConference
    LocationMadrid, Spain

    Keywords

    • METIS-121237