%0 Conference Paper %1 conf/hybrid/AnandSN24 %A Anand, Ashwani %A Schmuck, Anne-Kathrin %A Nayak, Satya Prakash %B HSCC %D 2024 %E Ábrahám, Erika %E Jr., Manuel Mazo %I ACM %K dblp %P 11:1-11:11 %T Contract-Based Distributed Logical Controller Synthesis. %U http://dblp.uni-trier.de/db/conf/hybrid/hscc2024.html#AnandSN24

@inproceedings{conf/hybrid/AnandSN24, added-at = {2024-05-17T00:00:00.000+0200}, author = {Anand, Ashwani and Schmuck, Anne-Kathrin and Nayak, Satya Prakash}, biburl = {https://www.bibsonomy.org/bibtex/226e064620628311b56b3c0cf4dce1954/dblp}, booktitle = {HSCC}, crossref = {conf/hybrid/2024}, editor = {Ábrahám, Erika and Jr., Manuel Mazo}, ee = {https://doi.org/10.1145/3641513.3650123}, interhash = {9de4b5cc13521e78df64e57ce3fdf996}, intrahash = {26e064620628311b56b3c0cf4dce1954}, keywords = {dblp}, pages = {11:1-11:11}, publisher = {ACM}, timestamp = {2024-05-20T07:21:08.000+0200}, title = {Contract-Based Distributed Logical Controller Synthesis.}, url = {http://dblp.uni-trier.de/db/conf/hybrid/hscc2024.html#AnandSN24}, year = 2024 }