@inproceedings{aba08e9c4c17487a885898e7d7bf817c,
title = "Higher-Order Approximations for Verification of Stochastic Hybrid Systems",
keywords = "Conf.proc. > 3 pag",
author = "{Esmaeil Zadeh Soudjani}, S and A Abate",
year = "2012",
language = "English",
publisher = "s.n.",
pages = "416--434",
editor = "Supratik Chakraborty and Madhavan Mukand",
booktitle = "ATVA 2012",
note = "Tenth International Symposium on Automated Technology for Verificatiobn and Analysis, ATVA 2012 ; Conference date: 03-10-2012 Through 06-10-2012",
}