Extended Abstract : Multi-Timed Bisimulation for Distributed Timed Automata

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

75 Downloads (Pure)

Original language	English
Title of host publication	Open problems in real-time computing
Number of pages	2
Publication status	Published - 4 Apr 2014
Event	http://actriss.org/2evenements/passes/9OPRTC-ULB/ - Brussels, Belgium Duration: 4 Apr 2014 → …

Scientific committee	http://actriss.org/2evenements/passes/9OPRTC-ULB/
Country/Territory	Belgium
City	Brussels
Period	4/04/14 → …

Access to Document

@inproceedings{78b70ee1316d4356a1ee4c2854576e13,

title = "Extended Abstract : Multi-Timed Bisimulation for Distributed Timed Automata",

author = "{Ortiz Vega}, {James Jerson} and Pierre-Yves Schobbens",

year = "2014",

month = apr,

day = "4",

language = "English",

booktitle = "Open problems in real-time computing",

note = "http://actriss.org/2evenements/passes/9OPRTC-ULB/ ; Conference date: 04-04-2014",

}