Structural Model Checking for Communicating Hierarchical Machines.

Ruggero Lanotte, Andrea Maggiolo-Schettini, Adriano Peron

Browse the full MFCS paper archive.