About this scholarly article

25th IEEE International Conference on Distributed Computing Systems Workshops - A Formal Framework for Agent Itinerary Specification, Security Reasoning and Logic Analysis by Shiyong Lu, ; Cheng-zhong Xu, is a scholarly article available to read on EtoBox.

Author

Shiyong Lu, ; Cheng-zhong Xu,

Publisher

IEEE

Published

2005

Language

EN