%0 Conference Paper %1 conf/adhs/CubuktepeATH18 %A Cubuktepe, Murat %A Ahmadi, Mohamadreza %A Topcu, Ufuk %A Hencey, Brandon %B ADHS %D 2018 %E Abate, Alessandro %E Girard, Antoine %E Heemels, Maurice %I Elsevier %K dblp %N 16 %P 115-120 %T Compositional Analysis of Hybrid Systems Defined Over Finite Alphabets. %U http://dblp.uni-trier.de/db/conf/adhs/adhs2018.html#CubuktepeATH18 %V 51

@inproceedings{conf/adhs/CubuktepeATH18, added-at = {2021-07-25T00:00:00.000+0200}, author = {Cubuktepe, Murat and Ahmadi, Mohamadreza and Topcu, Ufuk and Hencey, Brandon}, biburl = {https://www.bibsonomy.org/bibtex/2b918ffb9bf0f570e69deae65d85dafc1/dblp}, booktitle = {ADHS}, crossref = {conf/adhs/2018}, editor = {Abate, Alessandro and Girard, Antoine and Heemels, Maurice}, ee = {https://doi.org/10.1016/j.ifacol.2018.08.020}, interhash = {c6d3a877fe19d7896cc90eab6e000385}, intrahash = {b918ffb9bf0f570e69deae65d85dafc1}, keywords = {dblp}, number = 16, pages = {115-120}, publisher = {Elsevier}, series = {IFAC-PapersOnLine}, timestamp = {2024-04-10T21:00:56.000+0200}, title = {Compositional Analysis of Hybrid Systems Defined Over Finite Alphabets.}, url = {http://dblp.uni-trier.de/db/conf/adhs/adhs2018.html#CubuktepeATH18}, volume = 51, year = 2018 }