Verification of Succinct Hierarchical State Machines.

Salvatore La Torre, Margherita Napoli, Mimmo Parente, Gennaro Parlato

Browse the full LATA paper archive.