Experience with Formal Specifications Using an Extended State Transition Model

Gregor von Bochmann, Eduard Cerny, Michel Gagné, Claude Jard, Alain Léveillé, Clement Lacaille, Michel Maksud, K. S. Raghunathan, Behçet Sarikaya. Experience with Formal Specifications Using an Extended State Transition Model. IEEE Transactions on Communications, 30(12):2506-2513, 1982. [doi]

Abstract

Abstract is missing.