TY  - RPRT
TI  - Cooperative Tasking for Deterministic Specification Automata
AU  - Mohammad Karimadini
AU  - Hai Lin
PY  - 2012
UR  - https://arxiv.org/abs/1101.2002
ID  - 1101.2002
ER  -