|
Volumn 28, Issue 12, 1996, Pages 1585-1602
|
SDL basics
|
Author keywords
Behaviour; Description; Formal language; Reactive systems; SDL; Specification
|
Indexed keywords
|
EID: 0005384226
PISSN: 13891286
EISSN: None
Source Type: Journal
DOI: 10.1016/0169-7552(95)00119-0 Document Type: Article |
Times cited : (11)
|
References (5)
|