Formal models of communicating systems : languages, automata, and monadic second-order logic /

57

Bibliographic Details
Main Author: 428469 Bollig, Benedikt
Format:
Language:eng
Published: New York, NY : Springer, 2006
Subjects: