Sciweavers

ECEASST
2010

Decidable Race Condition and Open Coregions in HMSC

13 years 9 months ago
Decidable Race Condition and Open Coregions in HMSC
Vojtech Rehák, Petr Slovák, Jan Stre
Added 02 Mar 2011
Updated 02 Mar 2011
Type Journal
Year 2010
Where ECEASST
Authors Vojtech Rehák, Petr Slovák, Jan Strejcek, Loïc Hélouët
Comments (0)