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
Journal title
Formal aspects of computing The international journal of formal methods → ACNP
ISSN journal
09345043
Volume
5
Issue
3
Year of publication
1993
Pages
253 - 281
Database
ACNP
SICI code