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

Type de document :
Communication dans un congrès
10th International Symposium on Automated Technology for Verification and Analysis, ATVA 2012, Oct 2012, Thiruvananthapuram, India. Springer Verlag, pp.57-71, 2012, 〈http://www.springerlink.com/index/71284730W036L878.pdf〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00766825
Contributeur : Sofia Cassel <>
Soumis le : mercredi 19 décembre 2012 - 10:09:04
Dernière modification le : mercredi 19 décembre 2012 - 10:09:04

Identifiants

  • HAL Id : hal-00766825, version 1

Collections

Citation

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. Springer Verlag, pp.57-71, 2012, 〈http://www.springerlink.com/index/71284730W036L878.pdf〉. 〈hal-00766825〉

Partager

Métriques

Consultations de la notice

56