dblp.uni-trier.de www.uni-trier.de

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 BibTeX 
@proceedings{DBLP:conf/forte/1999,
  editor    = {Jianping Wu and
               Samuel T. Chanson and
               Qiang Gao},
  title     = {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},
  booktitle = {FORTE},
  publisher = {Kluwer},
  series    = {IFIP Conference Proceedings},
  volume    = {156},
  year      = {1999},
  isbn      = {0-7923-8646-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Complete | Author
Copyright © Sat May 16 23:12:33 2009 by Michael Ley (ley@uni-trier.de)