Henzinger, T. A., Manna, Z., & Pnueli, A. (1993). Towards refining temporal specifications into hybrid systems (pp. 60–76). https://doi.org/10.1007/3-540-57318-6_24
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.