Learning Communicating Automata from {MSCs}

TitleLearning Communicating Automata from {MSCs}
Publication TypeJournal Article
Year of Publication2010
AuthorsBenedikt Bollig, Joost-Pieter Katoen, Kern, C, Leucker, M
JournalIEEE Transactions on Software Engineering (TSE)
Volume36
Pagination390–408
Date PublishedMay/June
URLhttp://doi.ieeecomputersociety.org/10.1109/TSE.2009.89
Bibtex: 
@article {LeuckerBKK09TSE,
	title = {Learning Communicating Automata from {MSCs}},
	journal = {IEEE Transactions on Software Engineering (TSE)},
	volume = {36},
	number = {3},
	year = {2010},
	month = {May/June},
	pages = {390{\textendash}408},
	url = {http://doi.ieeecomputersociety.org/10.1109/TSE.2009.89},
	author = {Benedikt Bollig and Joost-Pieter Katoen and Carsten Kern and Martin Leucker}
}