Extended Abstract : Multi-Timed Bisimulation for Distributed Timed Automata

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

55 Téléchargements (Pure)
langue originaleAnglais
titreOpen problems in real-time computing
Nombre de pages2
Etat de la publicationPublié - 4 avr. 2014
Evénementhttp://actriss.org/2evenements/passes/9OPRTC-ULB/ - Brussels, Belgique
Durée: 4 avr. 2014 → …

Comité scientifique

Comité scientifiquehttp://actriss.org/2evenements/passes/9OPRTC-ULB/
PaysBelgique
La villeBrussels
période4/04/14 → …

Contient cette citation