A refinement-based approach to developing critical multi-agent systems

Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis. A refinement-based approach to developing critical multi-agent systems. IJCCBS, 4(1):69-91, 2013. [doi]

Abstract

Abstract is missing.