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.

A Succinct Canonical Register Automaton Model for Data Domains with Binary Relations

Sofia Cassel, Bengt Jonsson, Falk Howar, Bernhard Steffen. A Succinct Canonical Register Automaton Model for Data Domains with Binary Relations. In Supratik Chakraborty, Madhavan Mukund, editors, Automated Technology for Verification and Analysis - 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings. Volume 7561 of Lecture Notes in Computer Science, pages 57-71, Springer, 2012. [doi]

Authors

Sofia Cassel

This author has not been identified. Look up 'Sofia Cassel' in Google

Bengt Jonsson

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

Falk Howar

This author has not been identified. Look up 'Falk Howar' in Google

Bernhard Steffen

This author has not been identified. It may be one of the following persons: Look up 'Bernhard Steffen' in Google
runs on