%0 Conference Paper %1 conf/amcc/YangKPWO17 %A Yang, Liren %A Karnik, Amey Y. %A Pence, Benjamin %A Waez, Md Tawhid Bin %A Ozay, Necmiye %B ACC %D 2017 %I IEEE %K dblp %P 1839-1846 %T Fuel cell thermal management: Modeling, specifications and correct-by-construction control synthesis. %U http://dblp.uni-trier.de/db/conf/amcc/acc2017.html#YangKPWO17 %@ 978-1-5090-5992-8

@inproceedings{conf/amcc/YangKPWO17, added-at = {2023-03-21T00:00:00.000+0100}, author = {Yang, Liren and Karnik, Amey Y. and Pence, Benjamin and Waez, Md Tawhid Bin and Ozay, Necmiye}, biburl = {https://www.bibsonomy.org/bibtex/263b4c9a99e185742d8f227fabd217f83/dblp}, booktitle = {ACC}, crossref = {conf/amcc/2017}, ee = {https://doi.org/10.23919/ACC.2017.7963220}, interhash = {d6a4135f19c244065a7288876379aa84}, intrahash = {63b4c9a99e185742d8f227fabd217f83}, isbn = {978-1-5090-5992-8}, keywords = {dblp}, pages = {1839-1846}, publisher = {IEEE}, timestamp = {2024-04-09T13:41:24.000+0200}, title = {Fuel cell thermal management: Modeling, specifications and correct-by-construction control synthesis.}, url = {http://dblp.uni-trier.de/db/conf/amcc/acc2017.html#YangKPWO17}, year = 2017 }