Exploiting Hub States in Automatic Verification.

Giuseppe Della Penna, Igor Melatti, Benedetto Intrigila, Enrico Tronci

Browse the full ATVA paper archive.