Conference Papers
Year : 2012
Sofia Cassel : Connect in order to contact the contributor
https://inria.hal.science/hal-00766825
Submitted on : Wednesday, December 19, 2012-10:09:04 AM
Last modification on : Wednesday, December 19, 2012-10:09:04 AM
Dates and versions
Identifiers
- HAL Id : hal-00766825 , version 1
Cite
Sofia Cassel, Bengt Jonsson, Falk Howar, Bernhard Steffen. A Succinct Canonical Register Automaton Model for Data Domains with Binary Relations. 10th International Symposium on Automated Technology for Verification and Analysis, ATVA 2012, Oct 2012, Thiruvananthapuram, India. pp.57-71. ⟨hal-00766825⟩
Collections
106
View
0
Download