5th ACSD 2005: St. Malo, France

Refine list

showing all ?? records


Invited Talk

Specification of Communication Protocols

Formal Models and Property Analysis


Theoretical Approaches

Invited Talk

Analysis and Synthesis of Timed Systems

Models of Simulation Techniques

Communication Synthesis

Invited Talk

Languages and Calculi

Approaches Based on Petri Nets

a service of  Schloss Dagstuhl - Leibniz Center for Informatics