Startseite > Publikationen > Publikationen

Publikationen

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

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

In: Wenzel, Sigrid;Peter, Tim (Hrsg.): Simulation in Produktion und Logistik, S. 189 - 198, 20. - 22. Sep. 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},
}

BibTeX in die Zwischenablage kopieren

Permalink

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