{SMA}–-The {S}myle Modeling Approach
| Title | {SMA}–-The {S}myle Modeling Approach |
| Publication Type | Conference Paper |
| Year of Publication | 2008 |
| Authors | Benedikt Bollig, Joost-Pieter Katoen, Kern, C, Leucker, M |
| Conference Name | 3rd {IFIP} {TC2} Central and East European Conference on Software Engineering Techniques ({CEE-SET}'08) |
Bibtex:
@inproceedings {BKKL08SMA,
title = {{SMA}{\textendash}-The {S}myle Modeling Approach},
booktitle = {3rd {IFIP} {TC2} Central and East European Conference on Software Engineering Techniques ({CEE-SET}{\textquoteright}08)},
year = {2008},
note = {nominated for best-paper award, to appear},
author = {Benedikt Bollig and Joost-Pieter Katoen and Carsten Kern and Martin Leucker}
}PDF:
Postscript:
