%0 Conference Paper %1 conf/dac/KappS04 %A Kapp, Kai %A Sabelfeld, Viktor K. %B DAC %D 2004 %E Malik, Sharad %E Fix, Limor %E Kahng, Andrew B. %I ACM %K dblp %P 61-66 %T Automatic correct scheduling of control flow intensive behavioral descriptions in formal synthesis. %U http://dblp.uni-trier.de/db/conf/dac/dac2004.html#KappS04 %@ 1-58113-828-8

@inproceedings{conf/dac/KappS04, added-at = {2018-11-06T00:00:00.000+0100}, author = {Kapp, Kai and Sabelfeld, Viktor K.}, biburl = {https://www.bibsonomy.org/bibtex/2ed4abfc2584f5e95222f9ca10d6e0f1f/dblp}, booktitle = {DAC}, crossref = {conf/dac/2004}, editor = {Malik, Sharad and Fix, Limor and Kahng, Andrew B.}, ee = {https://doi.org/10.1145/996566.996584}, interhash = {5f796545a11fc9d475f62d83e9fe9a0e}, intrahash = {ed4abfc2584f5e95222f9ca10d6e0f1f}, isbn = {1-58113-828-8}, keywords = {dblp}, pages = {61-66}, publisher = {ACM}, timestamp = {2018-11-07T15:12:58.000+0100}, title = {Automatic correct scheduling of control flow intensive behavioral descriptions in formal synthesis.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac2004.html#KappS04}, year = 2004 }