@inproceedings{JTW021999,
               author = {J. Gerlach, T. Klöpfer, W. Rosenstiel},
               title = {Algorithmischer Ansatz zur automatisierten Entwurfsraum-Exploration auf hoher Abstraktionsebene.},
               booktitle = {GI/ITG/GMM Workshop on Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen},
               year = {1999},
               month = {02},
               pages = {111-120},
               address = {Braunschweig}
}