TY  - RPRT
TI  - Homology and Bisimulation of Asynchronous Transition Systems and Petri Nets
AU  - Ahmet A. Husainov
PY  - 2013
UR  - https://arxiv.org/abs/1307.5377
ID  - 1307.5377
ER  -