Fredrik Holmén

According to our database, Fredrik Holmén authored at least 1 paper in 2004.

Collaborative distances:

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

2004

UppDMC: A Distributed Model Checker for Fragments of the mu-Calculus.

Fredrik Holmén, Martin Leucker, Marcus Lindström

Proceedings of the 3rd International Workshop on Parallel and Distributed Methods in Verification, 2004