提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学参考书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/生日/Cleaveland 22澳大利亚——兰斯·克莱维兰TI-通过过程代数实现更好的自动机。BT——从过程代数到时间自动机再到模型学习的旅程——纪念Frits Vaandrager 60岁生日的文章SP-116EP-1362022年上半年//DO-2007年10月10日/978-3-031-15629-8_7UR-（欧元）https://doi.org/10.1007/978-3-031-15629-8_7急诊室-