Publications of Philippa J. Broadfoot sorted by recency
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] |