Testing semantics for probabilistic LOTOS (1995)

by M N'unez, D de Frutos
Venue:In Formal Description Techniques VIII