Verification Across Intellectual Property Boundaries

Chaki, Sagar; Schallhart, Christian; Veith, Helmut

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}
}