Compositional minimisation of finite state systems using interface specifications (1996)

by Susanne Graf, Bernhard Steffen, Gerald Lüttgen
Venue:Formal Asp. Comput