2004 IEEE International Conference on Mobile Ad-hoc and Sensor Systems (IEEE Cat. No.04EX975) Mobile ad-hoc and sensor systems Mobile Ad-hoc and Sensor Systems, 2004 IEEE International Conference on. :194-203 2004
Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science Logic in computer science Logic in Computer Science, 1995. LICS '95. Proceedings., Tenth Annual IEEE Symposium on. :366-374 1995