K. Loeis

Publication Activity (10 Years)

Years Active: 2005-2005
Publications (10 Years): 0

Publications

K. Loeis, Mohammed Bani Younis, Georg Frey
Application of symbolic and bounded model checking to the verification of logic control systems. ETFA (2005)