%0 Conference Paper %1 conf/memocode/PandyaW19 %A Pandya, Paritosh K. %A Wakankar, Amol %B MEMOCODE %D 2019 %E Roop, Partha S. %E Zhan, Naijun %E Gao, Sicun %E Nuzzo, Pierluigi %I ACM %K dblp %P 15:1-15:11 %T Logical specification and uniform synthesis of robust controllers. %U http://dblp.uni-trier.de/db/conf/memocode/memocode2019.html#PandyaW19 %@ 978-1-4503-6997-8

@inproceedings{conf/memocode/PandyaW19, added-at = {2019-10-06T00:00:00.000+0200}, author = {Pandya, Paritosh K. and Wakankar, Amol}, biburl = {https://www.bibsonomy.org/bibtex/22615f3d35bc730e3e39e655af9441c5f/dblp}, booktitle = {MEMOCODE}, crossref = {conf/memocode/2019}, editor = {Roop, Partha S. and Zhan, Naijun and Gao, Sicun and Nuzzo, Pierluigi}, ee = {https://doi.org/10.1145/3359986.3361213}, interhash = {4d4315f7dad95eaecc21ac9dd3c46754}, intrahash = {2615f3d35bc730e3e39e655af9441c5f}, isbn = {978-1-4503-6997-8}, keywords = {dblp}, pages = {15:1-15:11}, publisher = {ACM}, timestamp = {2024-04-09T10:15:52.000+0200}, title = {Logical specification and uniform synthesis of robust controllers.}, url = {http://dblp.uni-trier.de/db/conf/memocode/memocode2019.html#PandyaW19}, year = 2019 }