Uwe Kühne

According to our database, Uwe Kühne authored at least 1 paper in 2015.

Collaborative distances:

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

2015

Symbolic Causality Checking Using Bounded Model Checking.

Adrian Beer, Stephan Heidinger, Uwe Kühne, Florian Leitner-Fischer, Stefan Leue

Proceedings of the Model Checking Software - 22nd International Symposium, 2015