TY  - RPRT
TI  - A Characterization of Combined Traces Using Labeled Stratified Order Structures
AU  - Dai Tri Man Le
PY  - 2010
UR  - https://arxiv.org/abs/1004.0056
ID  - 1004.0056
ER  -