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
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
This page has been accessed 8 times.
Citation Options
Download CitationChapters/Headings | Author(s) | Pages | Info |
Loading... | |||
Chapters/Headings | Author(s) | Pages | Info |