Extended Abstract : Multi-Timed Bisimulation for Distributed Timed Automata

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

48 Downloads (Pure)
Original languageEnglish
Title of host publicationOpen problems in real-time computing
Number of pages2
Publication statusPublished - 4 Apr 2014
Eventhttp://actriss.org/2evenements/passes/9OPRTC-ULB/ - Brussels, Belgium
Duration: 4 Apr 2014 → …

Scientific committee

Scientific committeehttp://actriss.org/2evenements/passes/9OPRTC-ULB/
CountryBelgium
CityBrussels
Period4/04/14 → …

Cite this

@inproceedings{78b70ee1316d4356a1ee4c2854576e13,
title = "Extended Abstract : Multi-Timed Bisimulation for Distributed Timed Automata",
author = "{Ortiz Vega}, {James Jerson} and Pierre-Yves Schobbens",
year = "2014",
month = "4",
day = "4",
language = "English",
booktitle = "Open problems in real-time computing",

}

Ortiz Vega, JJ & Schobbens, P-Y 2014, Extended Abstract : Multi-Timed Bisimulation for Distributed Timed Automata. in Open problems in real-time computing., Brussels, Belgium, 4/04/14.

Extended Abstract : Multi-Timed Bisimulation for Distributed Timed Automata. / Ortiz Vega, James Jerson; Schobbens, Pierre-Yves.

Open problems in real-time computing. 2014.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

TY - GEN

T1 - Extended Abstract : Multi-Timed Bisimulation for Distributed Timed Automata

AU - Ortiz Vega, James Jerson

AU - Schobbens, Pierre-Yves

PY - 2014/4/4

Y1 - 2014/4/4

M3 - Conference contribution

BT - Open problems in real-time computing

ER -