Login / Signup

GSTE is partitioned model checking.

Roberto SebastianiEli SingermanStefano TonettaMoshe Y. Vardi
Published in: Formal Methods Syst. Des. (2007)
Keyphrases