Bollig, Benedikt
Formal models of communicating systems: languages, automata, and monadic second-order logic - Berlin Springer 2006 - 181
3540329226
681.3.06 BOL
Formal models of communicating systems: languages, automata, and monadic second-order logic - Berlin Springer 2006 - 181
3540329226
681.3.06 BOL