%0 Conference Paper %1 conf/eurodac/KuehlmannM91 %A Kuehlmann, A. %A Manoli, Yiannos %B EURO-DAC %D 1991 %E Ambler, Tony %E Jess, Jochen A. G. %E Man, Hugo De %I EEE Computer Society %K dblp %P 581-585 %T Module synthesis for finite state machines. %U http://dblp.uni-trier.de/db/conf/eurodac/euro-dac1991.html#KuehlmannM91 %@ 0-8186-2130-3

@inproceedings{conf/eurodac/KuehlmannM91, added-at = {2015-11-17T00:00:00.000+0100}, author = {Kuehlmann, A. and Manoli, Yiannos}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/23a8a480cd7d59eb88971e8b088be84b7/dblp}, booktitle = {EURO-DAC}, crossref = {conf/eurodac/1991}, editor = {Ambler, Tony and Jess, Jochen A. G. and Man, Hugo De}, ee = {http://dl.acm.org/citation.cfm?id=951640}, interhash = {29b46a9d7c1f55d53ed80d567a6159c5}, intrahash = {3a8a480cd7d59eb88971e8b088be84b7}, isbn = {0-8186-2130-3}, keywords = {dblp}, pages = {581-585}, publisher = {EEE Computer Society}, timestamp = {2016-02-02T14:57:08.000+0100}, title = {Module synthesis for finite state machines.}, url = {http://dblp.uni-trier.de/db/conf/eurodac/euro-dac1991.html#KuehlmannM91}, year = 1991 }