author = { Graf, Susanne AND Steffen, Bernhard Fachgruppe Informatik, Technische Hochschule Aachen },

title = { Compositional minimization of finite state systems },

publisher = {RWTH, Fachgruppe Informatik},

keywords = { Bericht },

year = {1991},

booktitle = {Aachener Informatik-Berichte ; 91,23},

address = { Aachen },

url = { http://slubdd.de/katalog?TN_libero_mab2 }