Abstracts for Mathematical Models and Techniques
for Analysing Systems
September 30 - October 4, 2002
Résumés pour l'atelier
Modèles mathématiques et techniques pour l'analyse de systèmes
30 septembre - 4 octobre 2002
Format [pdf]
Alur
Baier
de Alfaro
Caines
Finkel
Jagadeesan
Kwiatkowska
La Torre
Precup
Rutten
Segala
Siegle
van Breugel