%0 Conference Paper %1 conf/hybrid/LapinMW11 %A Lapin, Maksim %A Mikeev, Linar %A Wolf, Verena %B HSCC %D 2011 %E Caccamo, Marco %E Frazzoli, Emilio %E Grosu, Radu %I ACM %K dblp %P 311-312 %T SHAVE: stochastic hybrid analysis of markov population models. %U http://dblp.uni-trier.de/db/conf/hybrid/hscc2011.html#LapinMW11 %@ 978-1-4503-0629-4

@inproceedings{conf/hybrid/LapinMW11, added-at = {2018-11-06T00:00:00.000+0100}, author = {Lapin, Maksim and Mikeev, Linar and Wolf, Verena}, biburl = {https://www.bibsonomy.org/bibtex/22de02be71b9f735838edf97e151bc33c/dblp}, booktitle = {HSCC}, crossref = {conf/hybrid/2011}, editor = {Caccamo, Marco and Frazzoli, Emilio and Grosu, Radu}, ee = {https://doi.org/10.1145/1967701.1967746}, interhash = {8bd87a10c6f53971dd8f00f5c0b2e3e1}, intrahash = {2de02be71b9f735838edf97e151bc33c}, isbn = {978-1-4503-0629-4}, keywords = {dblp}, pages = {311-312}, publisher = {ACM}, timestamp = {2018-11-07T16:03:57.000+0100}, title = {SHAVE: stochastic hybrid analysis of markov population models.}, url = {http://dblp.uni-trier.de/db/conf/hybrid/hscc2011.html#LapinMW11}, year = 2011 }