Compositional Minimisation of Finite State Systems Using Interface Specifications (1996)

by Susanne Graf , Bernhard Steffen , Gerald Lüttgen
Citations:35 - 7 self