author : David Deharbe

Short works

• Symbolic Model Checking with Fewer Fixpoint Computations. 1999. (In FM'99 volume 1 )