FRODO Dt-Spin Models

[1]  Mark Ryan,et al.  Logic in Computer Science: Modelling and Reasoning about Systems , 2000 .

[2]  Gerard J. Holzmann,et al.  An Analysis of Bitstate Hashing , 1995, Formal Methods Syst. Des..

[3]  Theo C. Ruys.  Low-Fat Recipes for SPIN , 2000, SPIN.

[4]  Christian Bettstetter,et al.  A COMPARISON OF SERVICE DISCOVERY PROTOCOLS AND IMPLEMENTATION OF THE SERVICE LOCATION PROTOCOL , 2000 .

[5]  Pieter H. Hartel,et al.  Service discovery at home , 2003, Fourth International Conference on Information, Communications and Signal Processing, 2003 and the Fourth Pacific Rim Conference on Multimedia. Proceedings of the 2003 Joint.

[6]  Gerard J. Holzmann,et al.  The SPIN Model Checker - primer and reference manual , 2003 .

[7]  Kevin L. Mills,et al.  A Model-Based Analysis of First-Generation Service Discovery Systems , 2005 .