{SMA}–-The {S}myle Modeling Approach
| Title | {SMA}–-The {S}myle Modeling Approach |
| Publication Type | Miscellaneous |
| Year of Publication | 2008 |
| Authors | Benedikt Bollig, Joost-Pieter Katoen, Kern, C, Leucker, M |
| URL | http://wwwmayr.informatik.tu-muenchen.de:8080/techrep/advanced.search?dist0=0&submit=Suchen&where0=citkey&what0=%22TUM-I0820%22 |
Bibtex:
@booklet {BKKL08TR,
title = {{SMA}{\textendash}-The {S}myle Modeling Approach},
number = {TUM-I0820},
year = {2008},
publisher = {TU M{\"u}nchen},
url = {http://wwwmayr.informatik.tu-muenchen.de:8080/techrep/advanced.search?dist0=0\&submit=Suchen\&where0=citkey\&what0=\%22TUM-I0820\%22},
author = {Benedikt Bollig and Joost-Pieter Katoen and Carsten Kern and Martin Leucker}
}PDF:
Postscript:
