Formal Methods for Protocol Engineering and Distributed Systems : FORTE XII / PSTV XIX'99 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing and Verification (PSTV XIX) October 5-8, 1999, Beijing, China
Jianping Wu...