Inproceedings,
Quotient for Assume-Guarantee Contracts.
Í. Romeo, A. Sangiovanni-Vincentelli, C. Lin, and E. Kang.MEMOCODE, page 67-77. IEEE, (2018)
Meta data
- BibTeX key
- conf/memocode/RomeoSLK18
- entry type
- inproceedings
- booktitle
- MEMOCODE
- year
- 2018
- pages
- 67-77
- publisher
- IEEE
- crossref
- conf/memocode/2018
- ee
- https://doi.org/10.1109/MEMCOD.2018.8556872
- isbn
- 978-1-5386-6195-6
- url
- http://dblp.uni-trier.de/db/conf/memocode/memocode2018.html#RomeoSLK18
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/memocode/RomeoSLK18
%A Romeo, Íñigo Íncer
%A Sangiovanni-Vincentelli, Alberto L.
%A Lin, Chung-Wei
%A Kang, Eunsuk
%B MEMOCODE
%D 2018
%I IEEE
%K dblp
%P 67-77
%T Quotient for Assume-Guarantee Contracts.
%U http://dblp.uni-trier.de/db/conf/memocode/memocode2018.html#RomeoSLK18
%@ 978-1-5386-6195-6
@inproceedings{conf/memocode/RomeoSLK18,
added-at = {2018-12-31T00:00:00.000+0100},
author = {Romeo, Íñigo Íncer and Sangiovanni-Vincentelli, Alberto L. and Lin, Chung-Wei and Kang, Eunsuk},
biburl = {https://www.bibsonomy.org/bibtex/22260a2d8a19cbf0ce41583b5a75e4add/dblp},
booktitle = {MEMOCODE},
crossref = {conf/memocode/2018},
ee = {https://doi.org/10.1109/MEMCOD.2018.8556872},
interhash = {a713be0c7d5eb49f30d3bd58e44238f2},
intrahash = {2260a2d8a19cbf0ce41583b5a75e4add},
isbn = {978-1-5386-6195-6},
keywords = {dblp},
pages = {67-77},
publisher = {IEEE},
timestamp = {2019-10-17T12:53:45.000+0200},
title = {Quotient for Assume-Guarantee Contracts.},
url = {http://dblp.uni-trier.de/db/conf/memocode/memocode2018.html#RomeoSLK18},
year = 2018
}