Jump to : Contact | BibTex reference | EndNote reference |

RehakSSH10

Vojtech Reh\'ak, Petr Slov\'ak, Jan Strejcek, Loc Hlout. Decidable Race Condition and Open Coregions in HMSC. ECEASST, 29, 2010.

Contact

Loc Hlout 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 Hlout, Loc},
   Title = {Decidable Race Condition and Open Coregions in HMSC},
   Journal = {ECEASST},
   Volume = {29},
   Year = {2010}
}

EndNote Reference [help]

Get EndNote Reference (.ref)