Herramientas Personales

Bibliografia

  • Jeff Magee and Jeff Kramer. 2000. Concurrency: State Models &Amp; Java Programs. John Wiley & Sons, Inc., New York, NY, USA.
  • Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled. 2000. Model Checking. MIT Press, Cambridge, MA, USA.
  • Christel Baier and Joost-Pieter Katoen. 2008. Principles of Model Checking (Representation and Mind Series). The MIT Press.