《东南大学学报(自然科学版)》 过刊查询页面

    关键词中包括 temporal logic 的文章

1 一种基于模型检验的类测试用例生成方法
梁陈良, 聂长海, 徐宝文, 陈振宇
2007年第5期 [776-781][摘要](1818)[pdf 312KB](813)