Synthesis of reactive(1) designs (2006)

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