@inproceedings{CAW021998,
               author = {C. Hansen, A. Kunzmann, W. Rosenstiel},
               title = {Verification by Simulation Comparison using Interface Synthesis},
               booktitle = {Proceedings of Design, Automation and Test in Europe (DATE)},
               year = {1998},
               month = {02},
               address = {Paris}
}