International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols Madrid & Quemada, J. (1991). Proceedings of the IFIP TC/WG 6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols: FORTE '90 ; Madrid, Spain, 5 - 8 November, 1990. North-Holland.
Chicago-Zitierstil (17. Ausg.)International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols Madrid und Juan Quemada. Proceedings of the IFIP TC/WG 6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols: FORTE '90 ; Madrid, Spain, 5 - 8 November, 1990. Amsterdam [u.a.]: North-Holland, 1991.
MLA-Zitierstil (9. Ausg.)International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols Madrid und Juan Quemada. Proceedings of the IFIP TC/WG 6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols: FORTE '90 ; Madrid, Spain, 5 - 8 November, 1990. North-Holland, 1991.