Dense Time-Based Model-Checking of Real-Time Systems

会议类型: 国际会议

会议名称: 11th Joint International Computer Conference（第十一届联合国际计算机会议）

会议地点: 重庆

会议语种:英文

页码: 785-788

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