%0 Conference Paper %1 conf/date/HansenKR98 %A Hansen, Cordula %A Kunzmann, Arno %A Rosenstiel, Wolfgang %B DATE %D 1998 %E Dewilde, Patrick M. %E Rammig, Franz J. %E Musgrave, Gerry %I IEEE Computer Society %K %P 436-443 %T Verification by Simulation Comparison using Interface Synthesis. %U http://dblp.uni-trier.de/db/conf/date/date1998.html#HansenKR98 %@ 0-8186-8359-7

@inproceedings{conf/date/HansenKR98, added-at = {2023-12-13T07:06:21.000+0100}, author = {Hansen, Cordula and Kunzmann, Arno and Rosenstiel, Wolfgang}, biburl = {https://www.bibsonomy.org/bibtex/28f364fcb5aa6c812fbf574197e2223ff/admin}, booktitle = {DATE}, crossref = {conf/date/1998}, editor = {Dewilde, Patrick M. and Rammig, Franz J. and Musgrave, Gerry}, ee = {http://dl.acm.org/citation.cfm?id=368263}, interhash = {b531426d9ab8e8075c5cfa0c4abc0fe8}, intrahash = {8f364fcb5aa6c812fbf574197e2223ff}, isbn = {0-8186-8359-7}, keywords = {}, pages = {436-443}, publisher = {IEEE Computer Society}, timestamp = {2023-12-13T07:06:21.000+0100}, title = {Verification by Simulation Comparison using Interface Synthesis.}, url = {http://dblp.uni-trier.de/db/conf/date/date1998.html#HansenKR98}, year = 1998 }