@第{zbMATH06703933条，作者={Preda，Mila Dalla and Gabbrielli，Maurizio and Giallorenzo，Saverio and Lanese，Ivan and Mauro，Jacopo}，标题={动态编舞：理论与实现}，FJournal={计算机科学中的逻辑方法}，日志={Log.Methods Compute.Sci.}，ISSN={1860-5974}，体积={13}，数字={2}，页码={57}，注={Id/No 1}，年份={2017年}，语言={英语}，DOI={10.23638/LMCS-13（2:1）2017}，关键词={68N19}，zbMATH={6703933}，Zbl={1398.68088}}