e-mail: mavronic@ucy.ac.cy
   http://www2.cs.ucy.ac.cy/~mavronic/
Back to Main Page

 

Computer-Aided Verification

  

 

   

R. P. Kushan, Computer-Aided Verification of Coordinating Processes, Princeton University Press, (1995), ISBN: 0691034362

Amazon.co.uk Website

Barnes And Noble Website