2000
IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing, and Verification (2000 : Pisa, Italy)
Boston, Mass. ; London : Kluwer Academic Publishers, 2000
Rating:
Request It