Descarregamentos

---

• Phillip J. Windley "Formal Modelling and Verification of Microprocessors" IEEE Transactions on Computers, Vol 44(1), January 1995, pp. 54-72.
• Phillip J. Windley "A Correctness Model for Pipelined Microprocessors" Proceedings of TPCD 94, Bad Herrenalb, Germany. Springer-Verlag Lecture Notes in Computer Science No. 901, September, 1994.

• Editor de Textos