%0 Journal Article %1 journals/ejcon/AbateKLP10 %A Abate, Alessandro %A Katoen, Joost-Pieter %A Lygeros, John %A Prandini, Maria %D 2010 %J Eur. J. Control %K dblp %N 6 %P 624-641 %T Approximate Model Checking of Stochastic Hybrid Systems. %U http://dblp.uni-trier.de/db/journals/ejcon/ejcon16.html#AbateKLP10 %V 16

@article{journals/ejcon/AbateKLP10, added-at = {2022-12-07T00:00:00.000+0100}, author = {Abate, Alessandro and Katoen, Joost-Pieter and Lygeros, John and Prandini, Maria}, biburl = {https://www.bibsonomy.org/bibtex/2b6b525033e6ce02a20ca74035de94f4b/dblp}, ee = {https://www.wikidata.org/entity/Q57801394}, interhash = {a58642ea80fa73e8cca8e76abec23a33}, intrahash = {b6b525033e6ce02a20ca74035de94f4b}, journal = {Eur. J. Control}, keywords = {dblp}, number = 6, pages = {624-641}, timestamp = {2024-04-08T16:33:22.000+0200}, title = {Approximate Model Checking of Stochastic Hybrid Systems.}, url = {http://dblp.uni-trier.de/db/journals/ejcon/ejcon16.html#AbateKLP10}, volume = 16, year = 2010 }