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

Amir Pnueli Yoav Rodeh Ofer Strichman Michael Siegel Erratum ("The small model property: how small can it be?" Volume 178, Number 1 [2002], pages 279-293). 227 2003 184 Inf. Comput. 1 http://dx.doi.org/10.1016/S0890-5401(03)00117-2 db/journals/iandc/iandc184.html#PnueliRSS03