{SMA}–-The {S}myle Modeling Approach

Title{SMA}–-The {S}myle Modeling Approach
Publication TypeMiscellaneous
Year of Publication2008
AuthorsBenedikt Bollig, Joost-Pieter Katoen, Kern, C, Leucker, M
URLhttp://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}
}
Postscript: