FAUST2: Formal Abstractions of Uncountable−STate STochastic Processes
S. Esmaeil Zadeh Soudjani‚ C. Gevaerts and A. Abate
Book Title
Tools and Algorithms for the Construction and Analysis of Systems
Editor
Baier‚ Christel and Tinelli‚ Cesare
ISBN
978−3−662−46680−3
Language
English
Pages
272−286
Publisher
Springer Berlin Heidelberg
Series
Lecture Notes in Computer Science
Volume
9035
Year
2015