RSC to the ReSCu: Automated Verification of Systems of Communicating Automata.

Loc Desgeorges, Loc Germerie Guizouarn

Browse the full Coordination paper archive.