%0 Conference Paper %1 conf/hybrid/NiinomiKC95 %A Niinomi, Toshihiko %A Krogh, Bruce H. %A Cury, José E. R. %B Hybrid Systems %D 1995 %E Alur, Rajeev %E Henzinger, Thomas A. %E Sontag, Eduardo D. %I Springer %K dblp %P 475-484 %T Refinements of Approximating Automata for Synthesis of Supervisory Controllers for Hybrid Systems. %U http://dblp.uni-trier.de/db/conf/hybrid/hybrid95.html#NiinomiKC95 %V 1066 %@ 3-540-61155-X

@inproceedings{conf/hybrid/NiinomiKC95, added-at = {2017-05-22T00:00:00.000+0200}, author = {Niinomi, Toshihiko and Krogh, Bruce H. and Cury, José E. R.}, biburl = {https://www.bibsonomy.org/bibtex/2fbf5747a624ad01a870025961dbbc5d7/dblp}, booktitle = {Hybrid Systems}, crossref = {conf/hybrid/1995}, editor = {Alur, Rajeev and Henzinger, Thomas A. and Sontag, Eduardo D.}, ee = {https://doi.org/10.1007/BFb0020969}, interhash = {19d6198ebb9e92b75406c2c7907e7267}, intrahash = {fbf5747a624ad01a870025961dbbc5d7}, isbn = {3-540-61155-X}, keywords = {dblp}, pages = {475-484}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:52:05.000+0200}, title = {Refinements of Approximating Automata for Synthesis of Supervisory Controllers for Hybrid Systems.}, url = {http://dblp.uni-trier.de/db/conf/hybrid/hybrid95.html#NiinomiKC95}, volume = 1066, year = 1995 }