"Testing Nondeterministic Finite State Machines with Respect to the ..."

Natalia Shabaldina, Khaled El-Fakih, Nina Yevtushenko (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics