Thomas Klotz, Bernd Straube, Eva Fordran, Norman Seßler, Jürgen Haufe, Frank Schulze. Ein Ansatz zur Verifikation von Materialflusssteuerungen. In Jens Brandt, Klaus Schneider, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Kaiserslautern, Germany, March 5-7, 2012. pages 61-71, Verlag Dr. Kovac, 2012.
@inproceedings{KlotzSFSHS12,
title = {Ein Ansatz zur Verifikation von Materialflusssteuerungen},
author = {Thomas Klotz and Bernd Straube and Eva Fordran and Norman Seßler and Jürgen Haufe and Frank Schulze},
year = {2012},
researchr = {https://researchr.org/publication/KlotzSFSHS12},
cites = {0},
citedby = {0},
pages = {61-71},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Kaiserslautern, Germany, March 5-7, 2012},
editor = {Jens Brandt and Klaus Schneider},
publisher = {Verlag Dr. Kovac},
}