@文章{zbMATH07177458，作者={Dimitrova、Rayna和Ghasemi、Mahsa和Topcu、Ufuk}，标题={线性时序逻辑规范的最大可实现性的反应合成}，FJournal={信息学报}，日志={Acta Inf.}，ISSN={0001-5903}，体积={57}，数字={1-2}，页码={107--135}，年份={2020年}，语言={英语}，DOI={10.1007/s00236-019-00348-4}，关键词={68Q60,03B44,68Q45,68R07,68T40}，URL={eprints.whiterose.ac.uk/156772/7/acta20.pdf}，zbMATH={7177458}，Zbl={1435.68193}}