Paul Mohr

According to our database, Paul Mohr authored at least 1 paper in 2019.

Collaborative distances:

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

2019

Modal transition system encoding of featured transition systems.

Mahsa Varshosaz, Lars Luthmann, Paul Mohr, Malte Lochau, Mohammad Reza Mousavi

J. Log. Algebraic Methods Program., 2019