Login / Signup

Parameter synthesis for probabilistic real-time systems (Invited Paper).

Marta Kwiatkowska
Published in: SynCoP (2015)
Keyphrases