Login / Signup

Real-Reward Testing for Probabilistic Processes (Extended Abstract)

Yuxin DengRob J. van GlabbeekMatthew HennessyCarroll Morgan
Published in: QAPL (2011)
Keyphrases