@收款{zbMATH06863474，作者={Behr、Nicolas和Danos、Vincent和Garnier、Ilias}，标题={图重写的随机力学}，BookTitle={2016年第31届ACM/IEEE计算机科学逻辑年会论文集，2016年7月5日至8日，美国纽约市，LICS 2016，国际标准图书编号={978-1-4503-4391-6}，页码={46--55}，年份={2016年}，Publisher={纽约，NY:计算机协会（ACM）}，语言={英语}，DOI={10.1145/2933575.2934537}，关键词={68Q42,05C25,68Q85,68Q87}，URL={www.pure.edac.uk/ws/files/25448314/final_paper_submission159_2.pdf}，zbMATH={6863474}，Zbl={1401.68132}}