Fingerprint
Dive into the research topics of 'An invariant pattern-based approach to develop concurrent programs'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
An invariant pattern-based approach to develop concurrent programs
M. Mizuno, G. Singh, M. L. Neilsen, D. H. Lenhert, N. Zhang, A. B. Gross
Research output: Contribution to journal › Conference Article › peer-review