K. Loeis

According to our database, K. Loeis authored at least 1 paper in 2005.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2005

Application of symbolic and bounded model checking to the verification of logic control systems.

K. Loeis, Mohammed Bani Younis, Georg Frey

Proceedings of 10th IEEE International Conference on Emerging Technologies and Factory Automation, 2005