author : Anamaria Martins Moreira

Papers/Articles

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