TY  - RPRT
TI  - Concurrent Software Design Based on Constraints on State Diagrams
AU  - Bogdan D. Czejdo
AU  - Wiktor B. Daszczuk
AU  - Jerzy Mieścicki
PY  - 2017
UR  - https://arxiv.org/abs/1703.08242
ID  - 1703.08242
ER  -