Title:
Formal Methods in System Design
Abbreviated Title:
Form Methods Syst Des
Publisher:
Springer Nature
ISSN
(Print):
0925-9856
ISSN
(Electronic):
1572-8102
Publication date Created:
June
2012
Publication date
(Electronic):
March
28 2012
Publication date
(Print):
June
2012
Volume: 40
Issue: 3
Pages: 283-329
Article
DOI: 10.1007/s10703-012-0144-6
SO-VID: 1ad5ab07-2dfa-4fcc-9635-2180ba83d964
Copyright © ©
2012