Zuck, L. (ed.) Special issue: Analysis and verification. Extended versions of selected contributions presented at the 4th international conference on verification, model checking and abstract interpretation (VMCAI 2003), New York, NY, USA, January 9–11, 2003. (English) Zbl 1075.68523 Comput. Lang. Syst. Struct. 30, No. 3-4, 97-258 (2004). MSC: 68-06 00B25 PDFBibTeX XMLCite \textit{L. Zuck} (ed.), Comput. Lang. Syst. Struct. 30, No. 3--4, 97--258 (2004; Zbl 1075.68523) Full Text: DOI
Zuck, Lenore; Pnueli, Amir Model checking and abstraction to the aid of parameterized systems (a survey). (English) Zbl 1072.68069 Comput. Lang. Syst. Struct. 30, No. 3-4, 139-169 (2004). MSC: 68Q60 68Q85 PDFBibTeX XMLCite \textit{L. Zuck} and \textit{A. Pnueli}, Comput. Lang. Syst. Struct. 30, No. 3--4, 139--169 (2004; Zbl 1072.68069) Full Text: DOI