%0 Journal Article %1 journals/mics/FietzkeW12 %A Fietzke, Arnaud %A Weidenbach, Christoph %D 2012 %J Math. Comput. Sci. %K %N 4 %P 409-425 %T Superposition as a Decision Procedure for Timed Automata. %U http://dblp.uni-trier.de/db/journals/mics/mics6.html#FietzkeW12 %V 6

@article{journals/mics/FietzkeW12, added-at = {2023-12-13T01:19:28.000+0100}, author = {Fietzke, Arnaud and Weidenbach, Christoph}, biburl = {https://www.bibsonomy.org/bibtex/295c4f8a0f9cfe24b2361e4a860a3d19e/admin}, ee = {https://doi.org/10.1007/s11786-012-0134-5}, interhash = {6feb572dc683be0e4a1cc2a8fef6cad5}, intrahash = {95c4f8a0f9cfe24b2361e4a860a3d19e}, journal = {Math. Comput. Sci.}, keywords = {}, number = 4, pages = {409-425}, timestamp = {2023-12-13T01:19:28.000+0100}, title = {Superposition as a Decision Procedure for Timed Automata.}, url = {http://dblp.uni-trier.de/db/journals/mics/mics6.html#FietzkeW12}, volume = 6, year = 2012 }