Erratum to “The small model property: how small can it be?” [Inform. Comput. 178 (2002) 279–293]
Amir Pnueli, Yoav Rodeh, Ofer Strichman, Michael SiegelVolume:
184
Year:
2003
Language:
english
DOI:
10.1016/s0890-5401(03)00117-2
File:
PDF, 44 KB
english, 2003