FAUST2
Formal Abstractions of Uncountable-STate STochastic processes
More Info
expand_more
expand_more