Author of the publication

Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools.

, , , , , , , , and . TACAS, volume 1579 of Lecture Notes in Computer Science, page 74-88. Springer, (1999)

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

Practical Considerations in Protocol Verification: The E-2C Case Study., , , and . ICECCS, page 153-. IEEE Computer Society, (1999)XMC: A Logic-Programming-Based Verification Toolset., , , , , , and . CAV, volume 1855 of Lecture Notes in Computer Science, page 576-580. Springer, (2000)Logic Programming and Model Checking., , , , , , , , and . PLILP/ALP, volume 1490 of Lecture Notes in Computer Science, page 1-20. Springer, (1998)Automatic image capturing and processing for PetrolWatch., , , and . ICON, page 236-240. IEEE, (2011)Detection and tracking using wireless sensor networks., , , , , , , , and . SenSys, page 425-426. ACM, (2007)Implementation aspects of reliable transport protocols in wireless sensor networks., , , , and . COMSWARE, page 574-580. IEEE, (2008)Statistical reliability for energy efficient data transport in wireless sensor networks., , , , and . Wireless Networks, 16 (7): 1913-1927 (2010)Online Justification for Tabled Logic Programs., , , , and . FLOPS, volume 2998 of Lecture Notes in Computer Science, page 24-38. Springer, (2004)Effect of Glance Duration on Perceived Complexity and Segmentation of User Interfaces., , and . HCI (3), volume 4552 of Lecture Notes in Computer Science, page 605-614. Springer, (2007)Performance evaluation of a wireless sensor network based tracking system., , , , , , and . MASS, page 163-172. IEEE Computer Society, (2008)