TY  - RPRT
TI  - Bisimulations over DLTS in O(m.log n)-time
AU  - Gérard Cece
PY  - 2013
UR  - https://arxiv.org/abs/1302.3489
ID  - 1302.3489
ER  -