%0 Conference Paper %1 conf/hybrid/Sangiovanni-VincentelliHKMMPPSST01 %A Sangiovanni-Vincentelli, Alberto L. %A Henzinger, Thomas A. %A Krogh, Bruce H. %A Maler, Oded %A Morari, Manfred %A Pantelides, Costas C. %A Pappas, George J. %A Simsec, Tunc %A Sztipanovits, Janos %A Tripakis, Stavros %B HSCC %D 2001 %E Benedetto, Maria Domenica Di %E Sangiovanni-Vincentelli, Alberto L. %I Springer %K %P 5-6 %T Hybrid Systems Applications: An Oxymoron? %U http://dblp.uni-trier.de/db/conf/hybrid/hscc2001.html#Sangiovanni-VincentelliHKMMPPSST01 %V 2034 %@ 3-540-41866-0

@inproceedings{conf/hybrid/Sangiovanni-VincentelliHKMMPPSST01, added-at = {2023-12-12T18:32:04.000+0100}, author = {Sangiovanni-Vincentelli, Alberto L. and Henzinger, Thomas A. and Krogh, Bruce H. and Maler, Oded and Morari, Manfred and Pantelides, Costas C. and Pappas, George J. and Simsec, Tunc and Sztipanovits, Janos and Tripakis, Stavros}, biburl = {https://www.bibsonomy.org/bibtex/2ca4bdc97a7fc4362668a7a9f5c962709/admin}, 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_4}, interhash = {13ac21c304b9c83d17fffb385ec992dd}, intrahash = {ca4bdc97a7fc4362668a7a9f5c962709}, isbn = {3-540-41866-0}, keywords = {}, pages = {5-6}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T18:32:04.000+0100}, title = {Hybrid Systems Applications: An Oxymoron?}, url = {http://dblp.uni-trier.de/db/conf/hybrid/hscc2001.html#Sangiovanni-VincentelliHKMMPPSST01}, volume = 2034, year = 2001 }