Philippa J. Broadfoot
First name(s): Philippa J.
Last name(s): Broadfoot

Publications of Philippa J. Broadfoot
2000
Philippa J. Broadfoot and A. W. Roscoe, 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
[URL]