TY  - GEN

T1  - Data refinement for true concurrency

T2  - arXiv

PY  - 2013/05/27

AU  - Dongol B

AU  - Derrick J

ED  - 

Y2  - 2024/10/23

ER  -