Alessandro Pinto, Sudha Krishnamurthy, Suresh Kannan. A model-based end-to-end toolchain for the probabilistic analysis of complex systems. In IEEE Conference on Automation Science and Engineering, CASE 2010, Toronto, ON, Canada, 21-24 August, 2010. pages 994-1000, IEEE, 2010. [doi]
@inproceedings{PintoKK10,
title = {A model-based end-to-end toolchain for the probabilistic analysis of complex systems},
author = {Alessandro Pinto and Sudha Krishnamurthy and Suresh Kannan},
year = {2010},
doi = {10.1109/COASE.2010.5584578},
url = {http://dx.doi.org/10.1109/COASE.2010.5584578},
researchr = {https://researchr.org/publication/PintoKK10},
cites = {0},
citedby = {0},
pages = {994-1000},
booktitle = {IEEE Conference on Automation Science and Engineering, CASE 2010, Toronto, ON, Canada, 21-24 August, 2010},
publisher = {IEEE},
isbn = {978-1-4244-5447-1},
}