Deadlock and WCET analysis of barrier-synchronized concurrent programs
Crossref DOI link: https://doi.org/10.1007/s00607-017-0555-8
Published Online: 2017-05-08
Published Print: 2021-05
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Mittermayr, Robert
Blieberger, Johann
Text and Data Mining valid from 2017-05-08
Version of Record valid from 2017-05-08
Article History
Received: 31 October 2016
Accepted: 25 April 2017
First Online: 8 May 2017