Patrick Hütten

According to our database, Patrick Hütten authored at least 1 paper in 2003.

Collaborative distances:

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

2003

Symbolic Synthesis of Finite-State Controllers for Request-Response Specifications.

Nico Wallmeier, Patrick Hütten, Wolfgang Thomas

Proceedings of the Implementation and Application of Automata, 2003