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)