A Timed Semantics for SDL |
|
| Type | Conference paper [With referee] |
| Conference | Formal Description Techniques IX: Theory, application and tools |
| Editors | R. Gotzhein and J. Bredereke |
| Year | 1996 pp. 295-309 |
| Publisher | Chapman & Hall |
| BibTeX data | [bibtex] |
| IMM Group(s) | Computer Science & Engineering |