Cordula Hansen, Arno Kunzmann, Wolfgang Rosenstiel
Verification by Simulation Comparison using Interface Synthesis
DATE, 1998.
@inproceedings{DATE-1998-HansenKR,
author = "Cordula Hansen and Arno Kunzmann and Wolfgang Rosenstiel",
booktitle = "{Proceedings of the Third Conference on Design, Automation and Test in Europe}",
doi = "10.1109/DATE.1998.655894",
pages = "436--443",
publisher = "{IEEE Computer Society}",
title = "{Verification by Simulation Comparison using Interface Synthesis}",
year = 1998,
}