提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/icfem/ShenAZ0Z20AU-Shen、WeiAU-安，杰奥詹博华AU-张，苗苗阿雪、白AU-Zhan、Naijun确定性单块时间自动机的TI-PAC学习。BT-形式方法和软件工程-第22届形式工程方法国际会议，ICFEM 2020，新加坡，新加坡，2021年3月1日至3日，会议记录SP-129EP-1462020年上半年//DO-2007年10月10日/978-3-030-63406-3_8UR-（欧元）https://doi.org/10.1007/978-3-030-63406-3_8急诊室-