@第{zbMATH07377680条，作者={Bennour，Imed Eddine}，Title={使用{Lustre}}对定时同步数据流图进行形式验证，FJournal={程序设计中的逻辑和代数方法杂志}，Journal={J.Log.Algebr.Methods程序}，ISSN={2352-2208}，体积＝{121}，Pages＝｛24｝，注={Id/编号100678}，年份={2021}，语言={英语}，DOI={10.1016/j.jlamp.2021.100678}，关键词={68Q60,68Q85}，zbMATH={7377680}，Zbl={1518.68202}}