Roman Lakenbrink

According to our database, Roman Lakenbrink authored at least 1 paper in 2024.

Collaborative distances:

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

2024

A Navigation Logic for Recursive Programs with Dynamic Thread Creation.

Roman Lakenbrink, Markus Müller-Olm, Christoph Ohrem, Jens Oliver Gutsfeld

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024