Automated Analysis of MUTEX Algorithms with FASE

Federico Buti Massimo Callisto De Donato Flavio Corradini Maria Rita Di Berardini Walter Vogler Automated Analysis of MUTEX Algorithms with FASE GandALF 2011 45-59 http://dx.doi.org/10.4204/EPTCS.54.4 journals/corr/abs-1106-0814 db/series/eptcs/eptcs54.html#abs-1106-1231