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.

Generating models of infinite-state communication protocols using regular inference with abstraction

Fides Aarts, Bengt Jonsson, Johan Uijen, Frits W. Vaandrager. Generating models of infinite-state communication protocols using regular inference with abstraction. Formal Methods in System Design, 46(1):1-41, 2015. [doi]

Authors

Fides Aarts

This author has not been identified. Look up 'Fides Aarts' in Google

Bengt Jonsson

This author has not been identified. Look up 'Bengt Jonsson' in Google

Johan Uijen

This author has not been identified. Look up 'Johan Uijen' 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
runs on