Login / Signup

An Abstraction Framework for Mixed Non-deterministic and Probabilistic Systems.

Michael Huth
Published in: Validation of Stochastic Systems (2004)
Keyphrases