External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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]

Authors

Gregor von Bochmann

This author has not been identified. Look up 'Gregor von Bochmann' in Google

Eduard Cerny

This author has not been identified. Look up 'Eduard Cerny' in Google

Michel Gagné

This author has not been identified. Look up 'Michel Gagné' in Google

Claude Jard

This author has not been identified. Look up 'Claude Jard' in Google

Alain Léveillé

This author has not been identified. Look up 'Alain Léveillé' in Google

Clement Lacaille

This author has not been identified. Look up 'Clement Lacaille' in Google

Michel Maksud

This author has not been identified. Look up 'Michel Maksud' in Google

K. S. Raghunathan

This author has not been identified. Look up 'K. S. Raghunathan' in Google

Behçet Sarikaya

This author has not been identified. Look up 'Behçet Sarikaya' in Google
runs on