An approach to the verification of material handling systems.

Thomas Klotz, Bernd Straube, Eva Fordran, Jrgen Haufe, Frank Schulze, Karsten Turek, Thorsten Schmidt

Browse the full ETFA paper archive.