1.
|
A Categorical Framework for the Specification and the Verification of Aspect
Oriented Systems Sabas, Arsène
|
2.
|
Study of cox1 trans-splicing in Diplonema papillatum mitochondria Yan, Yifei
|