Generalized Deterministic Languages and their Automata: A Characterization of Restricted Temporal Logic (1999)

by Heinz Schmitz
Venue:INST. FUR INFORMATIK, UNIV. WURZBURG
Citations:4 - 1 self