Language and Tool Design of MoDeST, a Process Algebra aimed at Embedded Systems

Katoen, J. P. (Speaker)

    Activity: Talk or presentationOral presentation

    Description

    Plaats van uitgifte: Bertinoro, Italy
    Period21 Jul 2003
    Event titleTalk at Workshop on Process Algebra: Future Directions and Open Problems
    Event typeConference
    LocationBertinoro, Italy

    Keywords

    • METIS-215002