Étienne André, Camille Coti, Hoang Gia Nguyen. Enhanced Distributed Behavioral Cartography of Parametric Timed Automata (Informal Presentation). In Étienne André, Goran Frehse, editors, 2nd International Workshop on Synthesis of Complex Parameters, SynCoP 2015, April 11, 2015, London, United Kingdom. Volume 44 of OASICS, pages 104-105, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2015. [doi]
@inproceedings{AndreCN15-0,
title = {Enhanced Distributed Behavioral Cartography of Parametric Timed Automata (Informal Presentation)},
author = {Étienne André and Camille Coti and Hoang Gia Nguyen},
year = {2015},
doi = {10.4230/OASIcs.SynCoP.2015.104},
url = {http://dx.doi.org/10.4230/OASIcs.SynCoP.2015.104},
researchr = {https://researchr.org/publication/AndreCN15-0},
cites = {0},
citedby = {0},
pages = {104-105},
booktitle = {2nd International Workshop on Synthesis of Complex Parameters, SynCoP 2015, April 11, 2015, London, United Kingdom},
editor = {Étienne André and Goran Frehse},
volume = {44},
series = {OASICS},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
isbn = {978-3-939897-82-8},
}