%0 Journal Article %1 journals/acta/NymeyerK97 %A Nymeyer, Albert %A Katoen, Joost-Pieter %D 1997 %J Acta Inf. %K dblp %N 8 %P 597-635 %T Code Generation Based on Formal BURS Therory and Heuristic Search. %U http://dblp.uni-trier.de/db/journals/acta/acta34.html#NymeyerK97 %V 34

@article{journals/acta/NymeyerK97, added-at = {2011-01-11T00:00:00.000+0100}, author = {Nymeyer, Albert and Katoen, Joost-Pieter}, biburl = {https://www.bibsonomy.org/bibtex/2fcd2fa909f95207aa941b3fef8da873e/dblp}, ee = {http://dx.doi.org/10.1007/s002360050099}, interhash = {d3e63620fcffcbd66cb31d3d753a0e3a}, intrahash = {fcd2fa909f95207aa941b3fef8da873e}, journal = {Acta Inf.}, keywords = {dblp}, number = 8, pages = {597-635}, timestamp = {2011-01-12T11:33:21.000+0100}, title = {Code Generation Based on Formal BURS Therory and Heuristic Search.}, url = {http://dblp.uni-trier.de/db/journals/acta/acta34.html#NymeyerK97}, volume = 34, year = 1997 }