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Ớ<U+001c>31, 2001, Cheju Island, Korea /
FORTE 2001, formerly FORTE/PSTV conference, is a combined conference of FORTE (Formal Description Techniques for Distributed Systems and Communication Protocols) and PSTV (Protocol Specification, Testing and Verification) conferences. This year the conference has a new name FORTE (Formal Techniques...
| Corporate Author: | |
|---|---|
| Other Authors: | , , , |
| Format: | Electronic |
| Language: | English |
| Published: |
Boston, MA :
Springer US,
2002.
|
| Series: | IFIP International Federation for Information Processing,
69 |
| Subjects: | |
| Online Access: | View fulltext via EzAccess |