Testing Semantics for Probabilistic LOTOS.

Manuel Nez, David de Frutos-Escrig

Browse the full FORTE paper archive.