You are here

Home › Research › Publications ›

Model-based runtime analysis of distributed reactive systems

TitleModel-based runtime analysis of distributed reactive systems
Publication TypeConference Paper
Year of Publication2006
AuthorsBauer, A, Leucker, M, Schallhart, C
Conference Name17th Australian Software Engineering Conference {(ASWEC} 2006), 18-21 April 2006, Sydney, Australia
Publisher{IEEE} Computer Society
URLhttp://dx.doi.org/10.1109/ASWEC.2006.36
DOI10.1109/ASWEC.2006.36
Bibtex: 
@inproceedings {1158,
	title = {Model-based runtime analysis of distributed reactive systems},
	booktitle = {17th Australian Software Engineering Conference {(ASWEC} 2006), 18-21 April 2006, Sydney, Australia},
	year = {2006},
	publisher = {{IEEE} Computer Society},
	organization = {{IEEE} Computer Society},
	doi = {10.1109/ASWEC.2006.36},
	url = {http://dx.doi.org/10.1109/ASWEC.2006.36},
	author = {Andreas Bauer and Martin Leucker and Christian Schallhart}
}