| CLARKE, E.M.; GRUMBERG, O.;DORON, A.;PELED,D.A. Model Checking. The MIT Press, 1999. /////// NOLT,J. ROHATYN, D. Lógica, Schaum McGraw-Hill, Makron Books, 1991. /////// HOARE, C.A.R. Communicating Sequential Process. Prentice Hall, 1985. /////// HOSCOE, W. The Theory and Practice of Concurrrency. Prentice Hall, 1998. /////// SCHNEIDER, S. Concurrent and Real-Time Systems. The CSP Approach. John Wiley & Sons, 2000. /////// BEN-ARI, M. Mathematical Logic for Computer Science. Prentice Hall, 1993. /////// POTTER, B.; SINCLAIR, J.;TILL, D. An Introduction to Formal Specification and Z. Prentice- Hall, 1996. /////// WOODCOCK, J.: DAVIES, J. Using Z. Specification, Refinement and Proof. Prentice-Hall, 1996. /////// BERARD, M.;BIDOIT, A.; FINKEL,F.;LAROUSSINIE,A.;PETIT,L. Systems and Software Verification. Model-Checking Tecniques and Yools. Springer, 1999. /////// EDMUND M. CLARKE, Jr. Orna Grumberg and Doron A. Peled. Model Checking. The MIT Press, 1999. |