Combining SLiVER with CADP to Analyze Multi-agent Systems.

Luca Di Stefano, Frdric Lang, Wendelin Serwe

Browse the full Coordination paper archive.