{SMA}–-The Smyle Modeling Approach
| Title | {SMA}–-The Smyle Modeling Approach |
| Publication Type | Journal Article |
| Year of Publication | 2010 |
| Authors | Benedikt Bollig, Joost-Pieter Katoen, Kern, C, Leucker, M |
| Journal | Computing and Informatics |
| Volume | 29 |
| Pagination | 45–72 |
Bibtex:
@article {LeuckerBKK09CaI,
title = {{SMA}{\textendash}-The Smyle Modeling Approach},
journal = {Computing and Informatics},
volume = {29},
number = {1},
year = {2010},
pages = {45{\textendash}72},
author = {Benedikt Bollig and Joost-Pieter Katoen and Carsten Kern and Martin Leucker}
}