RSSH09

Vojtech Rehak, Petr Slovak, Jan Strejcek, Loïc Hélouët. Decidable Race Condition for HMSC. Research Report Faculty of Informatics, Masaryk Univ., No 0, 2009.

Contact

Loïc Hélouët http://www.irisa.fr/distribcom/Personal_Pages/helouet/newloic.html

BibTex Reference

@TechReport{RSSH09,
   Author = {Rehak, Vojtech and Slovak, Petr and Strejcek, Jan and Hélouët, Loïc},
   Title = {{Decidable Race Condition for HMSC}},
   Number = {0},
   Institution = {{Faculty of Informatics, Masaryk Univ.}},
   Year = {2009}
}

EndNote Reference [help]

Get EndNote Reference (.ref)