ausgewählte Veröffentlichungen

• Abschnitt eines Buches

  • Hazard checking in pipelined processor designs using symbolic model checking 1999

• Dokument

  • On the formal verification of routing in material handling systems.  2012 IEEE International Conference on Automation Science and Engineering (CASE), pp. 8-13. 2012