Stem tochast$ (all stems)
1 papers:
TACAS-2015-SoudjaniGA #abstraction #probability #process- FAUST 2 : Formal Abstractions of Uncountable-STate STochastic Processes (SEZS, CG, AA), pp. 272–286.
TACAS-2015-SoudjaniGA #abstraction #probability #process