Verification Across Intellectual Property Boundaries (bibtex)
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}
}
Powered by bibtexbrowser