Login
|
New Account
AAAAAA
ITA
ENG
Results:
1-1
|
Results: 1
LOTOS extended with probabilistic behaviours
Authors:
Carlos Miguel Angel Fernandez Leon Vidaller
Citation:
Carlos Miguel et al., LOTOS extended with probabilistic behaviours, Formal aspects of computing The international journal of formal methods , 5(3), 1993, pp. 253-281
Risultati:
1-1
|