Skip to main content

A data−flow approach to test multi−agent ASMs

Alessandra Cavarra

ISSN
0934−5043
Journal
Formal Asp. Comput.
Number
1
Pages
21−41
Volume
23
Year
2011