%0 Conference Paper %1 conf/lpar/FietzkeHW10 %A Fietzke, Arnaud %A Hermanns, Holger %A Weidenbach, Christoph %B LPAR (Yogyakarta) %D 2010 %E Fermüller, Christian G. %E Voronkov, Andrei %I Springer %K dblp %P 302-316 %T Superposition-Based Analysis of First-Order Probabilistic Timed Automata. %U http://dblp.uni-trier.de/db/conf/lpar/lpar2010y.html#FietzkeHW10 %V 6397 %@ 978-3-642-16241-1

@inproceedings{conf/lpar/FietzkeHW10, added-at = {2017-05-23T00:00:00.000+0200}, author = {Fietzke, Arnaud and Hermanns, Holger and Weidenbach, Christoph}, biburl = {https://www.bibsonomy.org/bibtex/2ba4f75f20f1f82880920b7c642cbd9d0/dblp}, booktitle = {LPAR (Yogyakarta)}, crossref = {conf/lpar/2010y}, editor = {Fermüller, Christian G. and Voronkov, Andrei}, ee = {https://doi.org/10.1007/978-3-642-16242-8_22}, interhash = {b5b5abcae05a589a8cc60c1b11afc89d}, intrahash = {ba4f75f20f1f82880920b7c642cbd9d0}, isbn = {978-3-642-16241-1}, keywords = {dblp}, pages = {302-316}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T15:22:04.000+0200}, title = {Superposition-Based Analysis of First-Order Probabilistic Timed Automata.}, url = {http://dblp.uni-trier.de/db/conf/lpar/lpar2010y.html#FietzkeHW10}, volume = 6397, year = 2010 }