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

21. FORTE 2001: Cheju Island, Korea

Myungchul Kim, Byoungmoon Chin, Sungwon Kang, Danhyung Lee (Eds.): Formal Techniques for Networked and Distributed Systems, FORTE 2001, IFIP TC6/WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea. IFIP Conference Proceedings 197 Kluwer 2001, ISBN 0-7923-7470-3 BibTeX
@proceedings{DBLP:conf/forte/2001,
  editor    = {Myungchul Kim and
               Byoungmoon Chin and
               Sungwon Kang and
               Danhyung Lee},
  title     = {Formal Techniques for Networked and Distributed Systems, FORTE
               2001, IFIP TC6/WG6.1 - 21$^{\mbox{st}}$ International Conference on Formal Techniques for Networked
               and Distributed Systems, August 28-31, 2001, Cheju Island, Korea},
  booktitle = {FORTE},
  publisher = {Kluwer},
  series    = {IFIP Conference Proceedings},
  volume    = {197},
  year      = {2001},
  isbn      = {0-7923-7470-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Part 1 - Formal Methods in Software Development 1

Part 2 - Distributed Systems Testing

Part 3 - Timed Automata

Part 4 - Process Algebra

Part 5 - Applications of Verification

Part 6 - Test Sequence Derivation

Part 7 - Formal Methods in Software Development 2

Part 8 - Theories of Verification

Part 9 - Invited Papers

Copyright © Sat May 16 23:12:33 2009 by Michael Ley (ley@uni-trier.de)