Decidable Race Condition and Open Coregions in HMSC - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Vojtech Rehák, Petr Slovák, Jan Strejcek, Loïc Hélouët. Decidable Race Condition and Open Coregions in HMSC. ECEASST, 29, 2010. [doi]

This author has not been identified. Look up 'Vojtech Rehák' in GoogleThis author has not been identified. Look up 'Petr Slovák' in GoogleThis author has not been identified. Look up 'Jan Strejcek' in GoogleThis author has not been identified. Look up 'Loïc Hélouët' in Google

runs on WebDSL