%0 Conference Paper %1 conf/dac/LaddB91 %A Ladd, Maureen %A Birmingham, William P. %B DAC %D 1991 %E Newton, A. Richard %I ACM %K dblp %P 309-314 %T Synthesis of Multiple-Input Change Asynchronous Finite state Machines. %U http://dblp.uni-trier.de/db/conf/dac/dac91.html#LaddB91 %@ 0-89791395-7

@inproceedings{conf/dac/LaddB91, added-at = {2017-03-16T00:00:00.000+0100}, author = {Ladd, Maureen and Birmingham, William P.}, biburl = {https://www.bibsonomy.org/bibtex/289ada434fcf76848615a22d1cc2f12bb/dblp}, booktitle = {DAC}, crossref = {conf/dac/1991}, editor = {Newton, A. Richard}, ee = {http://doi.acm.org/10.1145/127601.127686}, interhash = {d23bee60101c0d4f6fc0b18a4cb5f4b0}, intrahash = {89ada434fcf76848615a22d1cc2f12bb}, isbn = {0-89791395-7}, keywords = {dblp}, pages = {309-314}, publisher = {ACM}, timestamp = {2017-03-17T11:41:05.000+0100}, title = {Synthesis of Multiple-Input Change Asynchronous Finite state Machines.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac91.html#LaddB91}, year = 1991 }