Compositional verification of material handling systems.

Thomas Klotz, Norman Seler, Bernd Straube, Eva Fordran, Karsten Turek, Jens Schnherr

Browse the full ETFA paper archive.