Thomas Badie

According to our database, Thomas Badie authored at least 1 paper in 2013.

Collaborative distances:

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

2013

Compositional Approach to Suspension and Other Improvements to LTL Translation.

Tomás Babiak, Thomas Badie, Alexandre Duret-Lutz, Mojmír Kretínský, Jan Strejcek

Proceedings of the Model Checking Software - 20th International Symposium, 2013