Inproceedings,
Automatic Synthesis of Interfaces Between Incompatible Protocols.
R. Passerone, J. Rowson, and A. Sangiovanni-Vincentelli.DAC, page 8-13. ACM Press, (1998)
Meta data
- BibTeX key
- conf/dac/PasseroneRS98
- entry type
- inproceedings
- booktitle
- DAC
- year
- 1998
- pages
- 8-13
- publisher
- ACM Press
- crossref
- conf/dac/1998
- ee
- http://doi.acm.org/10.1145/277044.277047
- isbn
- 0-89791-964-5
- url
- http://dblp.uni-trier.de/db/conf/dac/dac98.html#PasseroneRS98
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/dac/PasseroneRS98
%A Passerone, Roberto
%A Rowson, James A.
%A Sangiovanni-Vincentelli, Alberto L.
%B DAC
%D 1998
%E Chawla, Basant R.
%E Bryant, Randal E.
%E Rabaey, Jan M.
%I ACM Press
%K dblp
%P 8-13
%T Automatic Synthesis of Interfaces Between Incompatible Protocols.
%U http://dblp.uni-trier.de/db/conf/dac/dac98.html#PasseroneRS98
%@ 0-89791-964-5
@inproceedings{conf/dac/PasseroneRS98,
added-at = {2017-03-16T00:00:00.000+0100},
author = {Passerone, Roberto and Rowson, James A. and Sangiovanni-Vincentelli, Alberto L.},
biburl = {https://www.bibsonomy.org/bibtex/29160704566ebec573aa00f85052c03fd/dblp},
booktitle = {DAC},
crossref = {conf/dac/1998},
editor = {Chawla, Basant R. and Bryant, Randal E. and Rabaey, Jan M.},
ee = {http://doi.acm.org/10.1145/277044.277047},
interhash = {57d189f0aeb43db49742f9f2116abe5d},
intrahash = {9160704566ebec573aa00f85052c03fd},
isbn = {0-89791-964-5},
keywords = {dblp},
pages = {8-13},
publisher = {ACM Press},
timestamp = {2017-03-17T11:40:01.000+0100},
title = {Automatic Synthesis of Interfaces Between Incompatible Protocols.},
url = {http://dblp.uni-trier.de/db/conf/dac/dac98.html#PasseroneRS98},
year = 1998
}