"On the generation of pseudo-deterministic two-patterns test sequence with ..."

Christian Dufaza, Yervant Zorian (1997)
a service of Schloss Dagstuhl - Leibniz Center for Informatics