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

by Susanne Graf , Bernhard Steffen , Gerald Luttgen
Citations:30 - 6 self