@inproceedings{TTCMWMY2001,
               author = {T. Kuhn, T. Oppold, C. Schulz-Key, M. Winterholer, W. Rosenstiel, M. Edwards, , Y. Kashai},
               title = {Object Oriented Hardware Synthesis and Verification},
               booktitle = {14. International Symposium on System Synthesis (ISSS)},
               year = {2001},
               address = {Montréal, Québec, Kanada}
}