Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > 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 /

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 /


Book Informaton

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 /

Author

Wu, Jianping, ; Chanson, Samuel T.; Gao, Qiang,

Series

International Federation for Information Processing;

Volume

28

Year of Publication

1999.

Publisher

Kluwer Academic,

City of Publication

Boston

Pages

499

Language

en

ISBN

0792386469

ARI Id

1675447471498


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 8 times.
Asian Research Index Whatsapp Chanel
Asian Research Index Whatsapp Chanel

Join our Whatsapp Channel to get regular updates.