%0 Conference Paper %1 conf/lpnmr/KohnN93 %A Kohn, Wolf %A Nerode, Anil %B LPNMR %D 1993 %E Pereira, Luís Moniz %E Nerode, Anil %I MIT Press %K %P 3-22 %T Autonomous Control of Hybrid Systems with Declarative Controllers. %U http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr93.html#KohnN93 %@ 0-262-66083-0

@inproceedings{conf/lpnmr/KohnN93, added-at = {2023-12-12T23:14:45.000+0100}, author = {Kohn, Wolf and Nerode, Anil}, biburl = {https://www.bibsonomy.org/bibtex/227a147ee2fa7fc9c8ec737adf014838d/admin}, booktitle = {LPNMR}, crossref = {conf/lpnmr/1993}, editor = {Pereira, Luís Moniz and Nerode, Anil}, interhash = {53a852fdcf5c6b50fa523556643fd583}, intrahash = {27a147ee2fa7fc9c8ec737adf014838d}, isbn = {0-262-66083-0}, keywords = {}, pages = {3-22}, publisher = {MIT Press}, timestamp = {2023-12-12T23:14:45.000+0100}, title = {Autonomous Control of Hybrid Systems with Declarative Controllers.}, url = {http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr93.html#KohnN93}, year = 1993 }