Testing Semantics for Probabilistic LOTOS (1995)

by M Núñez, D de Frutos
Venue:In Formal Description Techniques VIII, G.von Bochmann, R.Dssouli and O.Rafiq, eds. Chapman