Verbesserung intralogistischer Materialflussprozesse durch RFID-optimierte Flurförderzeuge

von Neuhäuser, Daniel
Veröffentlicht in Hamburger Staplertagung (7 : 2008 : Hamburg) 7. Hamburger Staplertagung (2008)

Parameterized Verification under TSO with Data Types

von Abdulla, Parosh Aziz
Veröffentlicht in TACAS (29. : 2023 : Paris) Tools and algorithms for the construction and analysis of systems ; Part 1 (2023)