Formal models of communicating systems : languages, automata, and monadic second-order logic
Enregistré dans:
| Auteur principal: | |
|---|---|
| Format: | Livre papier |
| Langue: | Anglais |
| Publié: |
Berlin ; New York :
Springer
cop. 2006.
|
| Sujets: | |
| Note: |
Ouvrage basé sur la thèse de l'auteur intitulée : "Automata and logics for message sequence charts" |
| Autres localisations: | Voir dans le Sudoc |