[IEEE 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE) - Tianjin, China (2009.07.29-2009.07.31)] 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering - Formal Approaches to Deadlock Analysis in Competitions of Shared Web Resources
Ding, Jieqi, Zhu, Han, Zhu, Huibiao, Li, QinYear:
2009
Language:
english
DOI:
10.1109/tase.2009.27
File:
PDF, 227 KB
english, 2009