Login / Signup

Trace and Testing Metrics on Nondeterministic Probabilistic Processes.

Valentina Castiglioni
Published in: EXPRESS/SOS (2018)
Keyphrases