%0 Conference Paper %1 conf/formats/ClementJMM20 %A Clement, Emily %A Jéron, Thierry %A Markey, Nicolas %A Mentré, David %B FORMATS %D 2020 %E Bertrand, Nathalie %E Jansen, Nils %I Springer %K dblp %P 111-126 %T Computing Maximally-Permissive Strategies in Acyclic Timed Automata. %U http://dblp.uni-trier.de/db/conf/formats/formats2020.html#ClementJMM20 %V 12288 %@ 978-3-030-57628-8

@inproceedings{conf/formats/ClementJMM20, added-at = {2020-09-19T00:00:00.000+0200}, author = {Clement, Emily and Jéron, Thierry and Markey, Nicolas and Mentré, David}, biburl = {https://www.bibsonomy.org/bibtex/229626eb14fa4ca3e24ae22cd9aca27af/dblp}, booktitle = {FORMATS}, crossref = {conf/formats/2020}, editor = {Bertrand, Nathalie and Jansen, Nils}, ee = {https://doi.org/10.1007/978-3-030-57628-8_7}, interhash = {93f9503cefbd0cf65de3ae1c480d64cf}, intrahash = {29626eb14fa4ca3e24ae22cd9aca27af}, isbn = {978-3-030-57628-8}, keywords = {dblp}, pages = {111-126}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-09-20T11:38:12.000+0200}, title = {Computing Maximally-Permissive Strategies in Acyclic Timed Automata.}, url = {http://dblp.uni-trier.de/db/conf/formats/formats2020.html#ClementJMM20}, volume = 12288, year = 2020 }