12. FORTE /
19. PSTV 1999:
Beijing, China
Jianping Wu, Samuel T. Chanson, Qiang Gao (Eds.):
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.
IFIP Conference Proceedings 156 Kluwer 1999, ISBN 0-7923-8646-9
Invited Talk 1
Part One - Test 1
Part Two - FDTs 1
Part Three - Test 2
Invited Talk 2
Part Four - FDTs 2
Part Five - Model Checking
Part Six - Verification
Invited Talk 3
Part Seven - Test 3
Part Eight - FDTs 3
Part Nine - Case Studies
Part Ten - Invited Papers
Last update Wed May 22 23:33:21 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page