Article,
Contracts for System Design.
A. Benveniste, B. Caillaud, D. Nickovic, R. Passerone, J. Raclet, P. Reinkemeier, A. Sangiovanni-Vincentelli, W. Damm, T. Henzinger, and K. Larsen.Found. Trends Electron. Des. Autom., 12 (2-3): 124-400 (2018)
Meta data
- BibTeX key
- journals/fteda/BenvenisteCNPRR18
- entry type
- article
- year
- 2018
- journal
- Found. Trends Electron. Des. Autom.
- number
- 2-3
- pages
- 124-400
- volume
- 12
- ee
- https://doi.org/10.1561/1000000053
- url
- http://dblp.uni-trier.de/db/journals/fteda/fteda12.html#BenvenisteCNPRR18
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Journal Article
%1 journals/fteda/BenvenisteCNPRR18
%A Benveniste, Albert
%A Caillaud, Benoît
%A Nickovic, Dejan
%A Passerone, Roberto
%A Raclet, Jean-Baptiste
%A Reinkemeier, Philipp
%A Sangiovanni-Vincentelli, Alberto L.
%A Damm, Werner
%A Henzinger, Thomas A.
%A Larsen, Kim G.
%D 2018
%J Found. Trends Electron. Des. Autom.
%K dblp
%N 2-3
%P 124-400
%T Contracts for System Design.
%U http://dblp.uni-trier.de/db/journals/fteda/fteda12.html#BenvenisteCNPRR18
%V 12
@article{journals/fteda/BenvenisteCNPRR18,
added-at = {2024-05-07T00:00:00.000+0200},
author = {Benveniste, Albert and Caillaud, Benoît and Nickovic, Dejan and Passerone, Roberto and Raclet, Jean-Baptiste and Reinkemeier, Philipp and Sangiovanni-Vincentelli, Alberto L. and Damm, Werner and Henzinger, Thomas A. and Larsen, Kim G.},
biburl = {https://www.bibsonomy.org/bibtex/2f096310f6b078037a78f9ff1a1745ef5/dblp},
ee = {https://doi.org/10.1561/1000000053},
interhash = {764d50a66ea5bddd00c855db62748c26},
intrahash = {f096310f6b078037a78f9ff1a1745ef5},
journal = {Found. Trends Electron. Des. Autom.},
keywords = {dblp},
number = {2-3},
pages = {124-400},
timestamp = {2024-05-13T07:07:26.000+0200},
title = {Contracts for System Design.},
url = {http://dblp.uni-trier.de/db/journals/fteda/fteda12.html#BenvenisteCNPRR18},
volume = 12,
year = 2018
}