%0 Conference Paper %1 conf/dac/LavagnoMBS92 %A Lavagno, Luciano %A Moon, Cho W. %A Brayton, Robert K. %A Sangiovanni-Vincentelli, Alberto L. %B DAC %D 1992 %E Schweikert, Daniel G. %I IEEE Computer Society Press %K dblp %P 568-572 %T Solving the State Assignment Problem for Signal Transition Graphs. %U http://dblp.uni-trier.de/db/conf/dac/dac92.html#LavagnoMBS92 %@ 0-8186-2822-7

@inproceedings{conf/dac/LavagnoMBS92, added-at = {2017-03-16T00:00:00.000+0100}, author = {Lavagno, Luciano and Moon, Cho W. and Brayton, Robert K. and Sangiovanni-Vincentelli, Alberto L.}, biburl = {https://www.bibsonomy.org/bibtex/2c8afbee9dc8862bac9318ab344062985/dblp}, booktitle = {DAC}, crossref = {conf/dac/1992}, editor = {Schweikert, Daniel G.}, ee = {http://portal.acm.org/citation.cfm?id=113938.149631}, interhash = {b7691685a85cbcd167178985c32f9939}, intrahash = {c8afbee9dc8862bac9318ab344062985}, isbn = {0-8186-2822-7}, keywords = {dblp}, pages = {568-572}, publisher = {IEEE Computer Society Press}, timestamp = {2017-03-17T11:40:52.000+0100}, title = {Solving the State Assignment Problem for Signal Transition Graphs.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac92.html#LavagnoMBS92}, year = 1992 }