@inproceedings{DBLP:conf/modellierung/ThadenBS04,
author = {Uwe Thaden and
Tobias Buchloh and
Friedrich Steimann},
title = {iMOL: Ein experimentelles Werkzeug zur interaktiven Validierung
von Softwaremodellen},
booktitle = {Modellierung},
year = {2004},
pages = {285-286},
ee = {http://subs.emis.de/LNI/Proceedings/Proceedings45/article1299.html},
crossref = {DBLP:conf/modellierung/2004},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/modellierung/2004,
editor = {Bernhard Rumpe and
Wolfgang Hesse},
title = {Modellierung 2004, Proceedings zur Tagung, 23.-26. M{\"a}rz
2004, Marburg, Proceedings},
booktitle = {Modellierung},
publisher = {GI},
series = {LNI},
volume = {45},
year = {2004},
bibsource = {DBLP, http://dblp.uni-trier.de}
}