Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing and Verification (1997 : Osaka)

Preface: After having been organized in Kaiserslautern (Germany, 1996), the two separate conferences FORTE and PSTV have been combined into a joint edition (FORTE/PSTV); Zählung der Einzelkongresse in der Vorl. weitergeführt