International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, IFIP TC 6/WG 6.1
Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, IFIP TC 6/WG 6.1 International
IFIP TC6/WG6.1 International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols
FORTE '89 (1989 : Vancouver, B.C.)