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

Nico Wallmeier, Patrick Hütten, Wolfgang Thomas (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics