Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Suzana Andova
Probabilistic May/Must Testing: Retaining Probabilities by Restricted Schedulers
Formal Aspects of Computing
Theoretical Computer Science
Software
Branching Bisimulation for Probabilistic Systems: Characteristics and Decidability
Theoretical Computer Science
Computer Science
Theoretical Computer Science