Learning Communicating Automata from {MSCs}
| Title | Learning Communicating Automata from {MSCs} |
| Publication Type | Journal Article |
| Year of Publication | 2010 |
| Authors | Benedikt Bollig, Joost-Pieter Katoen, Kern, C, Leucker, M |
| Journal | IEEE Transactions on Software Engineering (TSE) |
| Volume | 36 |
| Pagination | 390–408 |
| Date Published | May/June |
| URL | http://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}
}PDF:
