FAUST $^{\mathsf 2}$ : Formal Abstractions of Uncountable-STate STochastic Processes

Author(s):  
Sadegh Esmaeil Zadeh Soudjani ◽  
Caspar Gevaerts ◽  
Alessandro Abate
Keyword(s):  
Sign in / Sign up

Export Citation Format

Share Document