"A Decision Method for the Equivalence of some Non-Real-Time Deterministic ..."

Esko Ukkonen (1980)
a service of Schloss Dagstuhl - Leibniz Center for Informatics