International Conference on Formal Modelling and Analysis of Timed Systems

Tripakis, S. (Member)

Activity: Participating in or organising an event typesMembership of a scientific or program committee of a conference or seminar

Description

Program Co-Chair
Period2011
Event typeConference