%0 Conference Paper %1 conf/eurodac/KramerR90 %A Krämer, Heinrich %A Rosenstiel, Wolfgang %B EURO-DAC %D 1990 %E Adshead, Gordon %E Jess, Jochen A. G. %I IEEE Computer Society %K %P 277-282 %T System synthesis using behavioural descriptions. %U http://dblp.uni-trier.de/db/conf/eurodac/euro-dac1990.html#KramerR90 %@ 0-8186-2024-2

@inproceedings{conf/eurodac/KramerR90, added-at = {2023-12-12T18:14:47.000+0100}, author = {Krämer, Heinrich and Rosenstiel, Wolfgang}, biburl = {https://www.bibsonomy.org/bibtex/2391669f99f0f618c0c8bd3c22e560a9f/admin}, booktitle = {EURO-DAC}, crossref = {conf/eurodac/1990}, editor = {Adshead, Gordon and Jess, Jochen A. G.}, ee = {http://dl.acm.org/citation.cfm?id=950033}, interhash = {0f8654ccef56a977f0b3371f9b122af3}, intrahash = {391669f99f0f618c0c8bd3c22e560a9f}, isbn = {0-8186-2024-2}, keywords = {}, pages = {277-282}, publisher = {IEEE Computer Society}, timestamp = {2023-12-12T18:14:47.000+0100}, title = {System synthesis using behavioural descriptions.}, url = {http://dblp.uni-trier.de/db/conf/eurodac/euro-dac1990.html#KramerR90}, year = 1990 }