Henzinger, Thomas A, Marius Minea, and Vinayak Prabhu. “Assume-Guarantee Reasoning for Hierarchical Hybrid Systems.”https://doi.org/10.1007/3-540-45351-2_24__In Proceedings of the 4th International Workshop on Hybrid Systems, 2034:275–90. Springer, 2001.https://doi.org/10.1007/3-540-45351-2_24 .
LibreCat: https://research-explorer.ista.ac.at/record/4477
DOI: 10.1007/3-540-45351-2_24