@InCollection{zbMATH06989606，作者={Sharma，Arpit}，标题＝{马尔可夫}自动机的基于非互模拟的行为关系}，BookTitle={时间系统的形式化建模与分析。第16届国际会议，FORMATS 2018，中国北京，2018年9月4-6日。诉讼}，国际标准图书编号={978-3-030-00150-6；978-3-0.30-00151-3}，页码={179--196}，年份={2018年}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-030-00151-3_11}，关键词={68Q45,03B44,68Q85}，zbMATH={6989606}，Zbl={1515.68168}}