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.

Relating Alternating Relations for Conformance and Refinement

Ramon Janssen, Frits W. Vaandrager, Jan Tretmans. Relating Alternating Relations for Conformance and Refinement. In Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa, editors, Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings. Volume 11918 of Lecture Notes in Computer Science, pages 246-264, Springer, 2019. [doi]

Authors

Ramon Janssen

This author has not been identified. Look up 'Ramon Janssen' in Google

Frits W. Vaandrager

This author has not been identified. It may be one of the following persons: Look up 'Frits W. Vaandrager' in Google

Jan Tretmans

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