%0 Journal Article %1 journals/jlp/FranzleTE10 %A Fränzle, Martin %A Teige, Tino %A Eggers, Andreas %D 2010 %J J. Log. Algebr. Program. %K dblp %N 7 %P 436-466 %T Engineering constraint solvers for automatic analysis of probabilistic hybrid automata. %U http://dblp.uni-trier.de/db/journals/jlp/jlp79.html#FranzleTE10 %V 79

@article{journals/jlp/FranzleTE10, added-at = {2011-02-01T00:00:00.000+0100}, author = {Fränzle, Martin and Teige, Tino and Eggers, Andreas}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2a5f9582e9239c95544c4c5332ad5c318/dblp}, ee = {http://dx.doi.org/10.1016/j.jlap.2010.07.003}, interhash = {dfcab1dfc6ca39d256bb219e0729ebcc}, intrahash = {a5f9582e9239c95544c4c5332ad5c318}, journal = {J. Log. Algebr. Program.}, keywords = {dblp}, number = 7, pages = {436-466}, timestamp = {2016-02-02T10:00:17.000+0100}, title = {Engineering constraint solvers for automatic analysis of probabilistic hybrid automata.}, url = {http://dblp.uni-trier.de/db/journals/jlp/jlp79.html#FranzleTE10}, volume = 79, year = 2010 }