A process algebraic approach to the Dagstuhl problem

Brinksma, H. (Speaker)

    Activity: Talk or presentationOral presentation

    Description

    Plaats van uitgifte: Schloss Dagstuhl, Duitsland
    Period26 Sep 1994
    Event titleDagstuhl seminar 'Specification and refinement of reactive systems
    Event typeConference
    LocationSchloss Dagstuhl, Duitsland

    Keywords

    • METIS-123750