Automatizing parametric reasoning on distributed concurrent systems

Authors
Paola Inverardi Corrado Priami Daniel Yankelevich
Citation
Paola Inverardi et al., Automatizing parametric reasoning on distributed concurrent systems, Formal aspects of computing The international journal of formal methods , 6(6), 1994, pp. 676-695
Journal title
Formal aspects of computing The international journal of formal methods → ACNP
ISSN journal
09345043
Volume
6
Issue
6
Year of publication
1994
Pages
676 - 695
Database
ACNP
SICI code