Inproceedings,
CONDEnSe: Contract Based Design Synthesis.
C. dos Santos, A. Saleh, T. Schrijvers, and M. Nicolai.MoDELS, page 250-260. IEEE, (2019)
Meta data
- BibTeX key
- conf/models/SantosSSN19
- entry type
- inproceedings
- booktitle
- MoDELS
- year
- 2019
- pages
- 250-260
- publisher
- IEEE
- crossref
- conf/models/2019
- ee
- https://doi.org/10.1109/MODELS.2019.00009
- isbn
- 978-1-7281-2536-7
- url
- http://dblp.uni-trier.de/db/conf/models/models2019.html#SantosSSN19
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/models/SantosSSN19
%A dos Santos, César Augusto Ribeiro
%A Saleh, Amr Hany
%A Schrijvers, Tom
%A Nicolai, Mike
%B MoDELS
%D 2019
%E Kessentini, Marouane
%E Yue, Tao
%E Pretschner, Alexander
%E Voss, Sebastian
%E Burgueño, Loli
%I IEEE
%K dblp
%P 250-260
%T CONDEnSe: Contract Based Design Synthesis.
%U http://dblp.uni-trier.de/db/conf/models/models2019.html#SantosSSN19
%@ 978-1-7281-2536-7
@inproceedings{conf/models/SantosSSN19,
added-at = {2020-03-27T00:00:00.000+0100},
author = {dos Santos, César Augusto Ribeiro and Saleh, Amr Hany and Schrijvers, Tom and Nicolai, Mike},
biburl = {https://www.bibsonomy.org/bibtex/2440d6845bc850796226f545ddf674ec1/dblp},
booktitle = {MoDELS},
crossref = {conf/models/2019},
editor = {Kessentini, Marouane and Yue, Tao and Pretschner, Alexander and Voss, Sebastian and Burgueño, Loli},
ee = {https://doi.org/10.1109/MODELS.2019.00009},
interhash = {bd09685e3e0fd0a805358c24a36a9b79},
intrahash = {440d6845bc850796226f545ddf674ec1},
isbn = {978-1-7281-2536-7},
keywords = {dblp},
pages = {250-260},
publisher = {IEEE},
timestamp = {2020-11-25T11:36:19.000+0100},
title = {CONDEnSe: Contract Based Design Synthesis.},
url = {http://dblp.uni-trier.de/db/conf/models/models2019.html#SantosSSN19},
year = 2019
}