The Verus Language: Representing Time Efficiently with BDDs.

Sérgio Vale Aguiar Campos Edmund M. Clarke The Verus Language: Representing Time Efficiently with BDDs. 64-78 1997 conf/arts/1997 ARTS db/conf/arts/arts1997.html#CamposC97