Skip to Main content Skip to Navigation
Conference papers

Demonstrating Learning of Register Automata

Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-00767337
Contributor : Sofia Cassel <>
Submitted on : Wednesday, December 19, 2012 - 4:45:27 PM
Last modification on : Wednesday, December 19, 2012 - 4:45:27 PM

Identifiers

  • 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. ⟨hal-00767337⟩

Share

Metrics

Record views

96