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). Inf. Comput., 184(1):227, 2003. [doi]
No references recorded for this publication.
No citations of this publication recorded.