Model-based runtime analysis of distributed reactive systems
| Title | Model-based runtime analysis of distributed reactive systems |
| Publication Type | Conference Paper |
| Year of Publication | 2006 |
| Authors | Bauer, A, Leucker, M, Schallhart, C |
| Conference Name | 17th Australian Software Engineering Conference {(ASWEC} 2006), 18-21 April 2006, Sydney, Australia |
| Publisher | {IEEE} Computer Society |
| URL | http://dx.doi.org/10.1109/ASWEC.2006.36 |
| DOI | 10.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}
}