-
Selection by year
-
Selection by authors
-
Complete lists
RehakSSH10
V. Rehak, P. Slovak, J. Strejcek, L. Hélouet. Decidable Race Condition and Open Coregions in HMSC. ECEASST, 29, 2010.
Contact
Loic Hélouet http://people.irisa.fr/Loic.Helouet/
BibTex Reference
@article{RehakSSH10,
Author = {Rehak, V. and Slovak, P. and Strejcek, J. and Hélouet, L.},
Title = {Decidable Race Condition and Open Coregions in HMSC},
Journal = {ECEASST},
Volume = {29},
Year = {2010}
}
EndNote Reference [help]
Get EndNote Reference (.ref)