Vol-1719⫷ Vol-1720 ⫸Vol-1721
urn:nbn:de:0074-1720-0


Vol-1720/full14⫷Vol-1720/full15⫸Vol-1720/short1
Marco Bernardo 0001Marino Miculan

Disjunctive Probabilistic Modal Logic is Enough for Bisimilarity on Reactive Probabilistic Systems