@inproceedings{CW021995,
               author = {C. Hansen, Ditzinger, W. Rosenstiel},
               title = {Schaltungs-Synthese mit VHDL - Erfassung der Entwurfsprobleme durch richtige Auswahl der Subsets},
               booktitle = {CADS, SMT},
               year = {1995},
               month = {02},
}