Vol-2239⫷ Vol-2240 ⫸Vol-2241
urn:nbn:de:0074-2240-0


Vol-2240/paper7⫷Vol-2240/paper8⫸Vol-2240/paper9
Sinem GetirEsteban PaveseLars Grunske

Formal Semantics for Probabilistic Verification of Stochastic Regular Expressions