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.
No references recorded for this publication.
No citations of this publication recorded.