A. Mota, P. Borba, and A. Sampaio. Mechanical abstraction of CSPZ processes. In L.-H. Eriksson and P. Lindsay, editors, Formal Methods Europe (FME'2002), volume 2391 of LNCS, pages 163--183. Springer-Verlag, 2002. Home/Search Document Details and Download
Summary Related Articles |
This paper is cited in the following contexts:
Proving temporal properties of Z specifications using abstraction - Smith, Winter (2003) (Correct)
No context found.
A. Mota, P. Borba, and A. Sampaio. Mechanical abstraction of CSPZ processes. In L.-H. Eriksson and P. Lindsay, editors, Formal Methods Europe (FME'2002), volume 2391 of LNCS, pages 163--183. Springer-Verlag, 2002.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC