Login / Signup

SCOOP: A Tool for SymboliC Optimisations of Probabilistic Processes.

Mark Timmer
Published in: QEST (2011)
Keyphrases