id: 70816417
dt: a
an: 70816417
au: Kalech, Meir; Lindner, Michael; Kaminka, Gal A.
ti: Matrix-based representation for coordination fault detection: a formal
    approach
so: AAMAS, 162 (2007).
py: 2007
pu: 
la: EN
cc: 
ut: 
ci: 
li: doi:10.1145/1329125.1329322