%0 Journal Article %1 journals/fmsd/HahnHHK13 %A Hahn, Ernst Moritz %A Hartmanns, Arnd %A Hermanns, Holger %A Katoen, Joost-Pieter %D 2013 %J Formal Methods in System Design %K dblp %N 2 %P 191-232 %T A compositional modelling and analysis framework for stochastic hybrid systems. %U http://dblp.uni-trier.de/db/journals/fmsd/fmsd43.html#HahnHHK13 %V 43

@article{journals/fmsd/HahnHHK13, added-at = {2018-11-30T00:00:00.000+0100}, author = {Hahn, Ernst Moritz and Hartmanns, Arnd and Hermanns, Holger and Katoen, Joost-Pieter}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/265445efa2217bb7dafcc547842d48a5e/dblp}, ee = {https://www.wikidata.org/entity/Q57800949}, interhash = {aec8e1f3b9d93267c2abf7167ebfef27}, intrahash = {65445efa2217bb7dafcc547842d48a5e}, journal = {Formal Methods in System Design}, keywords = {dblp}, number = 2, pages = {191-232}, timestamp = {2019-09-27T07:45:22.000+0200}, title = {A compositional modelling and analysis framework for stochastic hybrid systems.}, url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd43.html#HahnHHK13}, volume = 43, year = 2013 }