{SMA}–-The Smyle Modeling Approach

Title{SMA}–-The Smyle Modeling Approach
Publication TypeJournal Article
Year of Publication2010
AuthorsBenedikt Bollig, Joost-Pieter Katoen, Kern, C, Leucker, M
JournalComputing and Informatics
Volume29
Pagination45–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}
}