@inproceedings{PW1994,
               author = {P. Thole, W. Rosenstiel},
               title = {Exercises on High Level Design Automation},
               booktitle = {5th Eurochip Workshop on VLSI Design Training},
               year = {1994},
               address = {Dresden}
}