Jann Löll

According to our database, Jann Löll authored at least 1 paper in 2007.

Collaborative distances:

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

2007

Application of Static Analyses for State Space Reduction to Microcontroller Assembly Code.

Bastian Schlich, Jann Löll, Stefan Kowalewski

Proceedings of the Formal Methods for Industrial Critical Systems, 2007