Reasoning about dynamically evolving process structures

Authors
Pierre America Frank de Boer
Citation
Pierre America et Frank De Boer, Reasoning about dynamically evolving process structures, Formal aspects of computing The international journal of formal methods , 6(3), 1994, pp. 269-316
Journal title
Formal aspects of computing The international journal of formal methods → ACNP
ISSN journal
09345043
Volume
6
Issue
3
Year of publication
1994
Pages
269 - 316
Database
ACNP
SICI code