%0 Journal Article %1 journals/corr/abs-2011-07091 %A Göller, Stefan %A Hilaire, Mathieu %D 2020 %J CoRR %K dblp %T Reachability in two-parametric timed automata with one parameter is EXPSPACE-complete. %U http://dblp.uni-trier.de/db/journals/corr/corr2011.html#abs-2011-07091 %V abs/2011.07091

@article{journals/corr/abs-2011-07091, added-at = {2020-11-18T00:00:00.000+0100}, author = {Göller, Stefan and Hilaire, Mathieu}, biburl = {https://www.bibsonomy.org/bibtex/2f5a6c626b4e69e7e6a7952ac50bbaa0e/dblp}, ee = {https://arxiv.org/abs/2011.07091}, interhash = {a1784d64632ea03eef5040cbab7c146a}, intrahash = {f5a6c626b4e69e7e6a7952ac50bbaa0e}, journal = {CoRR}, keywords = {dblp}, timestamp = {2020-11-19T11:35:39.000+0100}, title = {Reachability in two-parametric timed automata with one parameter is EXPSPACE-complete.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2011.html#abs-2011-07091}, volume = {abs/2011.07091}, year = 2020 }