RehakSSH10

Vojtech Reh\'ak, Petr Slov\'ak, Jan Strejcek, Loïc Hélouët. Decidable Race Condition and Open Coregions in HMSC. ECEASST, 29, 2010.

Contact

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

BibTex Reference

@article{RehakSSH10,
   Author = {Reh\'ak, Vojtech and Slov\'ak, Petr and Strejcek, Jan and Hélouët, Loïc},
   Title = {Decidable Race Condition and Open Coregions in HMSC},
   Journal = {ECEASST},
   Volume = {29},
   Year = {2010}
}

EndNote Reference [help]

Get EndNote Reference (.ref)