Jump to : Contact | BibTex reference | EndNote reference |


V. Rehak, P. Slov\'aak, J. Strejcek, L. Hélouet. Decidable Race Condition for HMSC. No 0, 2009.


Loic Hélouet http://people.irisa.fr/Loic.Helouet/

BibTex Reference

   Author = {Rehak, V. and Slov\'aak, P. and Strejcek, J. and Hélouet, L.},
   Title = {{Decidable Race Condition for HMSC}},
   Number = {0},
   Institution = {{Faculty of Informatics, Masaryk Univ.}},
   Year = {2009}

EndNote Reference [help]

Get EndNote Reference (.ref)