by Sagar Chaki, Christian Schallhart, Helmut Veith
Reference:
Verification Across Intellectual Property BoundariesSagar Chaki, Christian Schallhart, Helmut VeithComputer Aided Verification (CAV'07), pages 82–94, 2007.
Bibtex Entry:
@inproceedings{chaki07:_verif_acros_intel_proper_bound,
author = {Sagar Chaki and Christian Schallhart and Helmut Veith},
title = {{Verification Across Intellectual Property Boundaries}},
year = {2007},
booktitle = {{Computer Aided Verification (CAV'07)}},
pages = {82--94}
}