Login / Signup

Erratum ("The small model property: how small can it be?" Volume 178, Number 1 [2002], pages 279-293).

Amir PnueliYoav RodehOfer StrichmanMichael Siegel
Published in: Inf. Comput. (2003)
Keyphrases