Meta data
- BibTeX key
- journals/access/NuzzoXOFSMDS14
- entry type
- article
- year
- 2014
- journal
- IEEE Access
- pages
- 1-25
- volume
- 2
- ee
- https://www.wikidata.org/entity/Q57380172
- url
- http://dblp.uni-trier.de/db/journals/access/access2.html#NuzzoXOFSMDS14
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Journal Article
%1 journals/access/NuzzoXOFSMDS14
%A Nuzzo, Pierluigi
%A Xu, Huan
%A Ozay, Necmiye
%A Finn, John B.
%A Sangiovanni-Vincentelli, Alberto L.
%A Murray, Richard M.
%A Donzé, Alexandre
%A Seshia, Sanjit A.
%D 2014
%J IEEE Access
%K
%P 1-25
%T A Contract-Based Methodology for Aircraft Electric Power System Design.
%U http://dblp.uni-trier.de/db/journals/access/access2.html#NuzzoXOFSMDS14
%V 2
@article{journals/access/NuzzoXOFSMDS14,
added-at = {2023-12-13T01:09:29.000+0100},
author = {Nuzzo, Pierluigi and Xu, Huan and Ozay, Necmiye and Finn, John B. and Sangiovanni-Vincentelli, Alberto L. and Murray, Richard M. and Donzé, Alexandre and Seshia, Sanjit A.},
biburl = {https://www.bibsonomy.org/bibtex/20a51c444c55ee61b0e4a4d250a25bd60/admin},
ee = {https://www.wikidata.org/entity/Q57380172},
interhash = {6d9905277ea057ce4d58b418f8d5df23},
intrahash = {0a51c444c55ee61b0e4a4d250a25bd60},
journal = {IEEE Access},
keywords = {},
pages = {1-25},
timestamp = {2023-12-13T01:09:29.000+0100},
title = {A Contract-Based Methodology for Aircraft Electric Power System Design.},
url = {http://dblp.uni-trier.de/db/journals/access/access2.html#NuzzoXOFSMDS14},
volume = 2,
year = 2014
}