Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Fault origin adjudication., , and . FMSP, page 61-71. ACM, (2000)The Village Telephone System: A Case Study in Formal Software Engineering., , , , , and . TPHOLs, volume 1479 of Lecture Notes in Computer Science, page 49-66. Springer, (1998)Verisim: Formal analysis of network simulations., , , , , , and . ISSTA, page 2-13. ACM, (2000)Verisim: Formal Analysis of Network Simulations., , , , , , and . IEEE Trans. Software Eng., 28 (2): 129-145 (2002)Real-time Model and Convergence Time of BGP.. INFOCOM, page 893-901. IEEE Computer Society, (2002)Routing Information Protocol in HOL/SPIN., , and . TPHOLs, volume 1869 of Lecture Notes in Computer Science, page 53-72. Springer, (2000)