@inproceedings{BeckertBruns2012,
author = {Bernhard Beckert and Daniel Bruns},
title = {Formal Semantics of Model Fields in Annotation-based
Specifications},
booktitle = {KI 2012: Advances in Artificial Intelligence},
editor = {Birte Glimm and Antonio Kr\"uger},
publisher = {Springer},
series = {LNCS},
volume = {7526},
pages = {13--24},
year = {2012},
month = sep
}