A Timed Semantics for SDL



TypeConference paper [With referee]
ConferenceFormal Description Techniques IX: Theory, application and tools
EditorsR. Gotzhein and J. Bredereke
Year1996    pp. 295-309
PublisherChapman & Hall
BibTeX data [bibtex]
IMM Group(s)Computer Science & Engineering