@inproceedings{ECMFA-2012-HamannHG,
author = "Lars Hamann and Oliver Hofrichter and Martin Gogolla",
booktitle = "{Proceedings of the Eighth European Conference on Modelling Foundations and Applications}",
doi = "10.1007/978-3-642-31491-9_29",
isbn = "978-3-642-31490-2",
pages = "384--399",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{OCL-Based Runtime Monitoring of Applications with Protocol State Machines}",
volume = 7349,
year = 2012,
}
Tags: