Deepak D’Souza和Raj Mohan Matteplackel：LTL的组合分层监控自动化构建。(2012) conf/ictac/DSouzaM12 10.1007/978-3-642-32943-2_2 LTL的组合层次监控自动机构造。 2 Deepak D'Souza公司 1 拉杰·莫汉·马特普拉克尔 2 16-29 ICTAC公司 ICTAC公司 2012 2012 dblp记录“conf/ictac/DSouzaM12”的RDF数据的来源信息 2017-05-23T01:11:58+0200