Verification of Well-Formed Communicating Recursive State Machines.

Laura Bozzelli, Salvatore La Torre, Adriano Peron

Browse the full VMCAI paper archive.