Formal models of communicating systems : languages, automata, and monadic second-order logic /
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
[2006]
|
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
| Item Description: | Electronic resource. Originally presented as the author's thesis (doctoral- -Aachen, 2005) under the title: Automata and logics for message sequence charts. |
|---|---|
| Physical Description: | ix, 181 pages : illustrations ; 24 cm. |
| Bibliography: | Includes bibliographical references (pages [165]-171) and index. |
| ISBN: | 3540329234 9783540329237 |
| DOI: | 10.1007/3-540-32923-4 |