Springer Verlag, Formal Methods in System Design, 3(49), p. 272-323
DOI: 10.1007/s10703-016-0260-9
Export citation
Search in Google Scholar
Full text: Unavailable