Publications of Philippa J. Broadfoot sorted by first author
B
Tutorial on FDR and Its Applications, in: Proceedings of the 7th International SPIN Workshop on SPIN Model Checking and Software Verification, pages 322--, Springer-Verlag, 2000 | and ,
[URL] |