In:
Formal Methods in System Design, Springer Science and Business Media LLC, Vol. 46, No. 3 ( 2015-6), p. 197-225
Type of Medium:
Online Resource
ISSN:
0925-9856
,
1572-8102
DOI:
10.1007/s10703-014-0218-8
Language:
English
Publisher:
Springer Science and Business Media LLC
Publication Date:
2015
detail.hit.zdb_id:
1479899-2