Folding Narrowing for the Analysis of Mutual Exclusion Protocols.

Ral Lpez-Rueda, Duong Dinh Tran, Canh Minh Do, Santiago Escobar, Kazuhiro Ogata

Browse the full PPDP paper archive.