[IEEE 2009 IEEE International Conference on Automation Science and Engineering (CASE 2009) - Bangalore, India (2009.08.22-2009.08.25)] 2009 IEEE International Conference on Automation Science and Engineering - Maximally permissive deadlock avoidance for multithreaded computer programs (Extended abstract)
Wang, Yin, Liao, Hongwei, Nazeem, Ahmed, Reveliotis, Spyros, Kelly, Terence, Mahlke, Scott, Lafortune, StephaneYear:
2009
Language:
english
DOI:
10.1109/COASE.2009.5234118
File:
PDF, 242 KB
english, 2009