Login / Signup

Probabilistic may/must testing: retaining probabilities by restricted schedulers.

Sonja GeorgievskaSuzana Andova
Published in: Formal Aspects Comput. (2012)
Keyphrases