TY  - RPRT
TI  - Automated Analysis of MUTEX Algorithms with FASE
AU  - Federico Buti
AU  - Massimo Callisto De Donato
AU  - Flavio Corradini
AU  - Maria Rita Di Berardini
AU  - Walter Vogler
PY  - 2011
DO  - 10.4204/eptcs.54.4
UR  - https://arxiv.org/abs/1106.1231
ID  - 1106.1231
ER  -