%0 Conference Paper %1 conf/hybrid/KooPS01 %A Koo, Tak-John %A Pappas, George J. %A Sastry, Shankar %B HSCC %D 2001 %E Benedetto, Maria Domenica Di %E Sangiovanni-Vincentelli, Alberto L. %I Springer %K dblp %P 333-346 %T Mode Switching Synthesis for Reachability Specifications. %U http://dblp.uni-trier.de/db/conf/hybrid/hscc2001.html#KooPS01 %V 2034 %@ 3-540-41866-0

@inproceedings{conf/hybrid/KooPS01, added-at = {2022-04-25T00:00:00.000+0200}, author = {Koo, Tak-John and Pappas, George J. and Sastry, Shankar}, biburl = {https://www.bibsonomy.org/bibtex/2ac6c7110e3eb36a9d9d6b2519ab77db9/dblp}, booktitle = {HSCC}, crossref = {conf/hybrid/2001}, editor = {Benedetto, Maria Domenica Di and Sangiovanni-Vincentelli, Alberto L.}, ee = {https://doi.org/10.1007/3-540-45351-2_28}, interhash = {356f2cf7717e09c7e7a339e1c509578b}, intrahash = {ac6c7110e3eb36a9d9d6b2519ab77db9}, isbn = {3-540-41866-0}, keywords = {dblp}, pages = {333-346}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T10:15:23.000+0200}, title = {Mode Switching Synthesis for Reachability Specifications.}, url = {http://dblp.uni-trier.de/db/conf/hybrid/hscc2001.html#KooPS01}, volume = 2034, year = 2001 }