Login / Signup

A data-flow approach to test multi-agent ASMs.

Alessandra Cavarra
Published in: Formal Aspects Comput. (2011)
Keyphrases