Shaofa Yang, Loïc Hélouët, Thomas Gazagnaire. Logic-based diagnosis for distributed systems. Perspectives in concurrency, P.S. Thiagarajan's Festchrift, 2008.
Loïc Hélouët http://www.irisa.fr/distribcom/Personal_Pages/helouet/newloic.html
@article{Yang08,
Author = {Yang, Shaofa and Hélouët, Loïc and Gazagnaire, Thomas},
Title = {Logic-based diagnosis for distributed systems},
Journal = {Perspectives in concurrency, P.S. Thiagarajan's Festchrift},
Year = {2008}
}
Get EndNote Reference (.ref)