Smyle: a Tool for Synthesizing Distributed Models from Scenarios by Learning
| Title | Smyle: a Tool for Synthesizing Distributed Models from Scenarios by Learning |
| Publication Type | Conference Paper |
| Year of Publication | 2008 |
| Authors | Benedikt Bollig, Joost-Pieter Katoen, Kern, C, Leucker, M |
| Conference Name | Proceedings of the 19th International Conference on Concurrency Theory (CONCUR'08) |
| Series | Lecture Notes in Computer Science |
| Volume | 5201 |
| Publisher | Springer |
| Conference Location | Toronto, Canada |
Bibtex:
@inproceedings {BKKL08,
title = {Smyle: a Tool for Synthesizing Distributed Models from Scenarios by Learning},
booktitle = {Proceedings of the 19th International Conference on Concurrency Theory (CONCUR{\textquoteright}08)},
series = {Lecture Notes in Computer Science},
volume = {5201},
year = {2008},
publisher = {Springer},
organization = {Springer},
address = {Toronto, Canada},
author = {Benedikt Bollig and Joost-Pieter Katoen and Carsten Kern and Martin Leucker}
}PDF:
