Partial-order reduction and trail improvement in directed model checking

• 作者Stefan Edelkamp; Stefan Leue; Alberto Lluch-Lafuente
• 卷第6卷
• 期第4期
• 印刷ISSN1433-2779
• 电子ISSN1433-2787
• 文件大小442.95KB
• 发表时间2004-08
• DOI10.1007/s10009-004-0151-z
• 页码277-301