LOTOS extended with probabilistic behaviours (1993)

by C Miguel, A Fernández, L Vidaller
Venue:Form. Asp. of Comp