Title:
Formal Methods in System Design
Abbreviated Title:
Form Method Syst Des
Publisher:
Springer Science and Business Media LLC
ISSN
(Print):
0925-9856
ISSN
(Electronic):
1572-8102
Publication date Created:
November
1995
Publication date
(Print):
November
1995
Volume: 7
Issue: 3
Pages: 155-226
Article
DOI: 10.1007/BF01384076
SO-VID: 284fed5f-214b-49c0-9237-7222bf6d3b85
Copyright © ©
1995