%0 Conference Paper %1 conf/stacs/GollerH21 %A Göller, Stefan %A Hilaire, Mathieu %B STACS %D 2021 %E Bläser, Markus %E Monmege, Benjamin %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 36:1-36:18 %T Reachability in Two-Parametric Timed Automata with One Parameter Is EXPSPACE-Complete. %U http://dblp.uni-trier.de/db/conf/stacs/stacs2021.html#GollerH21 %V 187 %@ 978-3-95977-180-1

@inproceedings{conf/stacs/GollerH21, added-at = {2021-03-11T00:00:00.000+0100}, author = {Göller, Stefan and Hilaire, Mathieu}, biburl = {https://www.bibsonomy.org/bibtex/20a6b8aeef5944bbe46b035b60e82b873/dblp}, booktitle = {STACS}, crossref = {conf/stacs/2021}, editor = {Bläser, Markus and Monmege, Benjamin}, ee = {https://doi.org/10.4230/LIPIcs.STACS.2021.36}, interhash = {08fe9768dc1783eec163fcf8b1eb5962}, intrahash = {0a6b8aeef5944bbe46b035b60e82b873}, isbn = {978-3-95977-180-1}, keywords = {dblp}, pages = {36:1-36:18}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-04-09T20:44:36.000+0200}, title = {Reachability in Two-Parametric Timed Automata with One Parameter Is EXPSPACE-Complete.}, url = {http://dblp.uni-trier.de/db/conf/stacs/stacs2021.html#GollerH21}, volume = 187, year = 2021 }