home
>
book reviews
> Anamaria Martins Moreira
Google >
Anamaria Martins Moreira
author : Anamaria Martins Moreira
Short works
Symbolic Model Checking with Fewer Fixpoint Computations. 1999.
(In
FM'99 volume 1
)