Jump to : Contact | BibTex reference | EndNote reference |

RSSH09

Vojtech Rehak, Petr Slovak, Jan Strejcek, Loc Hlout. Decidable Race Condition for HMSC. Research Report Faculty of Informatics, Masaryk Univ., No 0, 2009.

Contact

Loc Hlout http://www.irisa.fr/distribcom/Personal_Pages/helouet/newloic.html

BibTex Reference

@TechReport{RSSH09,
   Author = {Rehak, Vojtech and Slovak, Petr and Strejcek, Jan and Hlout, Loc},
   Title = {{Decidable Race Condition for HMSC}},
   Number = {0},
   Institution = {{Faculty of Informatics, Masaryk Univ.}},
   Year = {2009}
}

EndNote Reference [help]

Get EndNote Reference (.ref)