Research Catalog
Formal models of communicating systems : languages, automata, and monadic second-order logic
- Title
- Formal models of communicating systems : languages, automata, and monadic second-order logic / Benedikt Bollig.
- Author
- Bollig, Benedikt.
- Publication
- Berlin ; New York : Springer, c2006.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSE 06-1606 | Offsite |
Details
- Description
- ix, 181 p. : ill.; 24 cm.
- Subjects
- Note
- Originally presented as the author's thesis (doctoral- -Aachen, 2005) under the title: Automata and logics for message sequence charts.
- Bibliography (note)
- Includes bibliographical references (p. [165]-171) and index.
- Call Number
- JSE 06-1606
- ISBN
- 3540329226 (hd.bd.)
- 9783540329220 (hd.bd.)
- LCCN
- 2006928323
- 9783540329220
- OCLC
- 71747278
- Author
- Bollig, Benedikt.
- Title
- Formal models of communicating systems : languages, automata, and monadic second-order logic / Benedikt Bollig.
- Imprint
- Berlin ; New York : Springer, c2006.
- Bibliography
- Includes bibliographical references (p. [165]-171) and index.
- Other Standard Identifier
- 9783540329220
- Research Call Number
- JSE 06-1606