IFIP TC 6/WG 6.1 International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols (10th 1997 Osaka, Japan). — Author | Lex | Lex