|
Volumn 29, Issue 4, 1997, Pages 501-528
|
Structural models for specifying telephone systems
a |
Author keywords
Architecture; Design; Formal specification; LOTOS; Specification styles; Structure; Telephone features; Telephone systems
|
Indexed keywords
|
EID: 0000063182
PISSN: 13891286
EISSN: None
Source Type: Journal
DOI: 10.1016/s0169-7552(96)00110-9 Document Type: Article |
Times cited : (8)
|
References (2)
|