DMCA

Automated Assume-Guarantee Reasoning for Simulation Conformance (2005)

by Sagar Chaki , Edmund Clarke , Nishant Sinha , Prasanna Thati
Venue:In Proc. of CAV’05, volume 3576 of LNCS
Citations:29 - 9 self