Henzinger, Thomas A, Shaz Qadeer, Sriram Rajamani, and Serdar Tasiran. “An Assume-Guarantee Rule for Checking Simulation.”https://doi.org/10.1007/3-540-49519-3_27__In Proceedings of the 2nd International Conference on Formal Methods in Computer-Aided Design, 1522:421–32. Springer, 1998.https://doi.org/10.1007/3-540-49519-3_27 .
LibreCat: https://research-explorer.ista.ac.at/record/4486
DOI: 10.1007/3-540-49519-3_27