Formal Methods in System Design > 2016 > 49 > 3 > 219-271
A safraless compositional approach
Source
Abstract
Identifiers
journal ISSN : | 0925-9856 |
journal e-ISSN : | 1572-8102 |
DOI | 10.1007/s10703-016-0259-2 |