Demonstrating Learning of Register Automata

Type de document :
Communication dans un congrès
18th International Conference, TACAS 2012, 2012, Tallinn, Estonia. 2012, 〈http://www.springerlink.com/index/N632180MT0722084.pdf〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00767337
Contributeur : Sofia Cassel <>
Soumis le : mercredi 19 décembre 2012 - 16:45:27
Dernière modification le : mercredi 19 décembre 2012 - 16:45:27

Identifiants

  • HAL Id : hal-00767337, version 1

Collections

Citation

Maik Merten, Falk Howar, Bernhard Steffen, Sofia Cassel, Bengt Jonsson. Demonstrating Learning of Register Automata. 18th International Conference, TACAS 2012, 2012, Tallinn, Estonia. 2012, 〈http://www.springerlink.com/index/N632180MT0722084.pdf〉. 〈hal-00767337〉

Partager

Métriques

Consultations de la notice

69