Extended Abstract : Multi-Timed Bisimulation for Distributed Timed Automata

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

51 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