Login / Signup

Approximating a Behavioural Pseudometric Without Discount for Probabilistic Systems.

Franck van BreugelBabita SharmaJames Worrell
Published in: FoSSaCS (2007)
Keyphrases