Klaus Riedl

According to our database, Klaus Riedl authored at least 1 paper in 2022.

Collaborative distances:

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

2022

Level-Up - From Bits to Words.

Matthias Güdemann, Klaus Riedl

Proceedings of the Formal Methods: Foundations and Applications - 25th Brazilian Symposium, 2022