提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/生日/BosH22非盟-博斯，佩特拉·范登AU-Huisman、MariekeTI-测试和程序验证的集成-立场文件。BT——从过程代数到时间自动机再到模型学习的旅程——纪念Frits Vaandrager 60岁生日的文章SP-524型EP-5382022年上半年//执行-10.1007/978-3-031-15629-8_28UR-（欧元）https://doi.org/10.1007/978-3-031-15629-8-28急诊室-