Thomas Bohm

According to our database, Thomas Bohm authored at least 1 paper in 2018.

Collaborative distances:

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

2018

Deriving a State Model of a Control Program by Symbolic Execution.

Herbert Prähofer, Thomas Bohm, Josef Pichler

Proceedings of the 16th IEEE International Conference on Industrial Informatics, 2018