Login / Signup

Using cubes of non-state variables with property directed reachability.

John D. BackesMarc D. Riedel
Published in: DATE (2013)
Keyphrases