Henzinger, Thomas A., et al. “An Assume-Guarantee Rule for Checking Simulation.”10.1007/3-540-49519-3_27__Proceedings of the 2nd International Conference on Formal Methods in Computer-Aided Design, vol. 1522, Springer, 1998, pp. 421–32, doi:10.1007/3-540-49519-3_27.
LibreCat: https://research-explorer.ista.ac.at/record/4486
DOI: 10.1007/3-540-49519-3_27