"On the Complexity of Relational Problems for Finite State Processes ..."

Sandeep K. Shukla et al. (1996)
a service of Schloss Dagstuhl - Leibniz Center for Informatics