![](/img/cover-not-exists.png)
[ACM Press the 15th ACM international conference - Beijing, China (2012.04.17-2012.04.19)] Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control - HSCC '12 - Rare-event verification for stochastic hybrid systems
Zuliani, Paolo, Baier, Christel, Clarke, Edmund M.Year:
2012
Language:
english
DOI:
10.1145/2185632.2185665
File:
PDF, 468 KB
english, 2012