Formal Models of Communicating Systems [electronic resource] : Languages, Automata, and Monadic Second-Order Logic / by Benedikt Bollig.
E-book
Electronic resources
Record details
- ISBN: 9783540329237
- Physical Description: IX, 181 p. 72 illus. online resource.
- Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.