%0 Conference Paper %1 conf/ifm/FranzleTE10 %A Fränzle, Martin %A Teige, Tino %A Eggers, Andreas %B IFM %D 2010 %E Méry, Dominique %E Merz, Stephan %I Springer %K dblp %P 168-182 %T Satisfaction Meets Expectations - Computing Expected Values of Probabilistic Hybrid Systems with SMT. %U http://dblp.uni-trier.de/db/conf/ifm/ifm2010.html#FranzleTE10 %V 6396 %@ 978-3-642-16264-0

@inproceedings{conf/ifm/FranzleTE10, added-at = {2017-05-24T00:00:00.000+0200}, author = {Fränzle, Martin and Teige, Tino and Eggers, Andreas}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2b3c1acb99acfeebb588babf1060b940b/dblp}, booktitle = {IFM}, crossref = {conf/ifm/2010}, editor = {Méry, Dominique and Merz, Stephan}, ee = {https://doi.org/10.1007/978-3-642-16265-7_13}, interhash = {ff525bdee57e0f1bbe474fecd99161be}, intrahash = {b3c1acb99acfeebb588babf1060b940b}, isbn = {978-3-642-16264-0}, keywords = {dblp}, pages = {168-182}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T16:04:36.000+0200}, title = {Satisfaction Meets Expectations - Computing Expected Values of Probabilistic Hybrid Systems with SMT.}, url = {http://dblp.uni-trier.de/db/conf/ifm/ifm2010.html#FranzleTE10}, volume = 6396, year = 2010 }