Learning of Event-Recording Automata
| Title | Learning of Event-Recording Automata |
| Publication Type | Journal Article |
| Year of Publication | 2010 |
| Authors | Grinchtein, O, Jonsson, B, Leucker, M |
| Journal | Theoretical Computer Science |
| Volume | 411 |
| Pagination | 4029–4054 |
| URL | http://dx.doi.org/10.1016/j.tcs.2010.07.008 |
Bibtex:
@article {GJL10,
title = {Learning of Event-Recording Automata},
journal = {Theoretical Computer Science},
volume = {411},
number = {47},
year = {2010},
pages = {4029{\textendash}4054},
url = {http://dx.doi.org/10.1016/j.tcs.2010.07.008},
author = {Olga Grinchtein and Bengt Jonsson and Martin Leucker}
}PDF:
Postscript:
