@收款{zbMATH07145925，作者={朱、薛扬和严、荣杰和顾、于磊和张、简和张、文辉和张、广泉}，Title={带模型检查的同步数据流图的静态最优调度}，BookTitle={FM 2015：正式方法。第20届国际研讨会，挪威奥斯陆，2015年6月24-26日。诉讼程序}，国际标准图书编号={978-3-319-19248-2；978-3-316-19249-9}，页码={551--569}，年份={2015年}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-319-19249-9_34}，关键词={68Q60,68M20}，zbMATH={7145925}，Zbl={1427.68177}}