Formal Development of Critical Multi-agent Systems: A Refinement Approach.

Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis

Browse the full EDCC paper archive.