Home > Publications > Publikationen

Publikationen

Akbulut, Akin;Laroque, Christoph;Dangelmaier, Wilhelm:

Automatisierte Modellverifikation mithilfe einer Äquivalenzprüfung an einem Referenzmodell.

In: Wenzel, Sigrid;Peter, Tim (eds.) : Simulation in Produktion und Logistik, pp. 189 - 198, Sep 20 - 22, 2017 ASIM, Kassel University Press

Bibtex

@inproceedings{hniid=9633,
author = {Akbulut, Akin and Laroque, Christoph and Dangelmaier, Wilhelm},
title = {Automatisierte Modellverifikation mithilfe einer {\"A}quivalenzpr{\"u}fung an einem Referenzmodell},
editor = {Wenzel, Sigrid and Peter, Tim},
booktitle = {Simulation in Produktion und Logistik},
pages = {189 - 198},
organization = {ASIM},
publisher = {Kassel University Press},
month = {20~-~22~} # sep,
year = {2017},
}

Copy bibTeX to clipboard

Permalink

https://www.hni.uni-paderborn.de/pub/9633