Conference
The prescription and description of state based systems
Authors
Khosla S; Maibaum TSE
Series
Lecture Notes in Computer Science
Volume
398
Pagination
pp. 243-294
Publisher
Springer Nature
Publication Date
January 1, 1989
DOI
10.1007/3-540-51803-7_30
Conference proceedings
Lecture Notes in Computer Science
ISSN
0302-9743