Learning Transparent Data Automata
Title | Learning Transparent Data Automata |
Publication Type | Conference Paper |
Year of Publication | 2014 |
Authors | Decker, N, Habermehl, P, Leucker, M, Thoma, D |
Conference Name | Application and Theory of Petri Nets and Concurrency, International Conference, PETRI NETS 2014 |
Volume | LNCS 8489 |
Date Published | to appear |
Publisher | Springer |
Bibtex:
@inproceedings {1097, title = {Learning Transparent Data Automata}, booktitle = {Application and Theory of Petri Nets and Concurrency, International Conference, PETRI NETS 2014}, volume = {LNCS 8489}, year = {2014}, month = {to appear}, publisher = {Springer}, organization = {Springer}, author = {Normann Decker and Peter Habermehl and Martin Leucker and Daniel Thoma} }
PDF: