%0 Journal Article %1 journals/fac/GrafSL96 %A Graf, Susanne %A Steffen, Bernhard %A Lüttgen, Gerald %D 1996 %J Formal Asp. Comput. %K dblp %N 5 %P 607-616 %T Compositional Minimisation of Finite State Systems Using Interface Specifications. %U http://dblp.uni-trier.de/db/journals/fac/fac8.html#GrafSL96 %V 8

@article{journals/fac/GrafSL96, added-at = {2011-05-25T00:00:00.000+0200}, author = {Graf, Susanne and Steffen, Bernhard and Lüttgen, Gerald}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/20789c933ff709d364a885e8acad9c5d0/dblp}, ee = {http://dx.doi.org/10.1007/BF01211911}, interhash = {fb537da322689deab2e453f842fbe89d}, intrahash = {0789c933ff709d364a885e8acad9c5d0}, journal = {Formal Asp. Comput.}, keywords = {dblp}, number = 5, pages = {607-616}, timestamp = {2016-02-02T10:13:54.000+0100}, title = {Compositional Minimisation of Finite State Systems Using Interface Specifications.}, url = {http://dblp.uni-trier.de/db/journals/fac/fac8.html#GrafSL96}, volume = 8, year = 1996 }