%0 Journal Article %1 journals/fuin/HaaseOW16 %A Haase, Christoph %A Ouaknine, Joël %A Worrell, James %D 2016 %J Fundam. Informaticae %K %N 3-4 %P 317-338 %T Relating Reachability Problems in Timed and Counter Automata. %U http://dblp.uni-trier.de/db/journals/fuin/fuin143.html#HaaseOW16 %V 143

@article{journals/fuin/HaaseOW16, added-at = {2023-12-13T03:49:21.000+0100}, author = {Haase, Christoph and Ouaknine, Joël and Worrell, James}, biburl = {https://www.bibsonomy.org/bibtex/291d867f7a4910e6ea9cf672f6be13c4d/admin}, ee = {https://doi.org/10.3233/FI-2016-1316}, interhash = {8f352980220fabd9beb478f44740a04e}, intrahash = {91d867f7a4910e6ea9cf672f6be13c4d}, journal = {Fundam. Informaticae}, keywords = {}, number = {3-4}, pages = {317-338}, timestamp = {2023-12-13T03:49:21.000+0100}, title = {Relating Reachability Problems in Timed and Counter Automata.}, url = {http://dblp.uni-trier.de/db/journals/fuin/fuin143.html#HaaseOW16}, volume = 143, year = 2016 }