External Links

Cite Key

Statistics

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

PDF

Tags

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.

Refusal Testing for Classes of Transition Systems with Inputs and Outputs

Lex Heerink, Jan Tretmans. Refusal Testing for Classes of Transition Systems with Inputs and Outputs. In Atsushi Togashi, Tadanori Mizuno, Norio Shiratori, Teruo Higashino, editors, Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE X / PSTV XVII 97, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Pr. Volume 107 of IFIP Conference Proceedings, pages 23-38, Chapman & Hall, 1997.

Authors

Lex Heerink

This author has not been identified. Look up 'Lex Heerink' in Google

Jan Tretmans

This author has not been identified. Look up 'Jan Tretmans' in Google
runs on