Efficient Deadlock-Freeness Detection in Real-Time Systems

会议类型: 国际会议

会议名称: The Fifth International Conference on Computer and Information Technology(第五届计算机和信息技术国际会议)

会议地点: 上海

会议语种:英文

页码: 805-809

在线出版日期: 2005-09-21（万方平台首次上网日期，不代表论文的发表时间）