@第{zbMATH07135841条，作者={Benavides，Zachary and Vora，Keval and Gupta，Rajiv and Zhang，Xiangyu}，标题={上下文相关并行执行配置文件的注释引导集合}，FJournal={系统设计中的形式化方法}，日志={Form.Methods系统设计}，ISSN={0925-9856}，体积={54}，数字={3}，页码={388--415}，年份={2019}，语言={英语}，DOI={10.1007/s10703-019-00341-0}，关键词={68N19}，zbMATH={7135841}，Zbl={1425.68056}}