%0 Conference Paper %1 conf/icfem/MartinsPL11 %A Martins, João G. %A Platzer, André %A Leite, João %B ICFEM %D 2011 %E Qin, Shengchao %E Qiu, Zongyan %I Springer %K dblp %P 131-146 %T Statistical Model Checking for Distributed Probabilistic-Control Hybrid Automata with Smart Grid Applications. %U http://dblp.uni-trier.de/db/conf/icfem/icfem2011.html#MartinsPL11 %V 6991 %@ 978-3-642-24558-9

@inproceedings{conf/icfem/MartinsPL11, added-at = {2020-08-07T00:00:00.000+0200}, author = {Martins, João G. and Platzer, André and Leite, João}, biburl = {https://www.bibsonomy.org/bibtex/282c8bdfa3fbed0828355a01e48a25e21/dblp}, booktitle = {ICFEM}, crossref = {conf/icfem/2011}, editor = {Qin, Shengchao and Qiu, Zongyan}, ee = {https://doi.org/10.1007/978-3-642-24559-6_11}, interhash = {3c8d5acc5ba0fe2305ca38d70d280bd7}, intrahash = {82c8bdfa3fbed0828355a01e48a25e21}, isbn = {978-3-642-24558-9}, keywords = {dblp}, pages = {131-146}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-08-08T11:45:39.000+0200}, title = {Statistical Model Checking for Distributed Probabilistic-Control Hybrid Automata with Smart Grid Applications.}, url = {http://dblp.uni-trier.de/db/conf/icfem/icfem2011.html#MartinsPL11}, volume = 6991, year = 2011 }