[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 194 || Linear and branching structures in the semantics and logics of reactive systems
Brauer, WilfriedVolume:
10.1007/BF
Year:
1985
Language:
english
DOI:
10.1007/BFb0015727
File:
PDF, 1.25 MB
english, 1985