DMCA
Compositional Minimization of Finite State Systems (1991)
by
Susanne Graf
,
Bernhard Steffen
Venue: | IN PROC. 2ND INTERNATIONAL CONFERENCE OF COMPUTER-AIDED VERIFICATION |
Citations: | 41 - 0 self |