TY  - RPRT
TI  - Automated Verification, Synthesis and Correction of Concurrent Systems via MSO Logic
AU  - Mateus de Oliveira Oliveira
PY  - 2014
UR  - https://arxiv.org/abs/1402.2698
ID  - 1402.2698
ER  -