DMCA

Synthesis of reactive(1) designs (2006)

by Nir Piterman , Amir Pnueli
Venue:In Proc. Verification, Model Checking, and Abstract Interpretation (VMCAI’06
Citations:126 - 9 self