Learning Transparent Data Automata

TitleLearning Transparent Data Automata
Publication TypeConference Paper
Year of Publication2014
AuthorsDecker, N, Habermehl, P, Leucker, M, Thoma, D
Conference NameApplication and Theory of Petri Nets and Concurrency, International Conference, PETRI NETS 2014
VolumeLNCS 8489
Date Publishedto appear
PublisherSpringer
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}
}