An iterative approach to language containment (1993)

by F Balarin, A L Sangiovanni-Vincentelli
Venue:Fifth Conference on Computer Aided Veri cation (CAV '93