@收款{zbMATH06733479，作者={Niewiadomski，Artur and Penczek，Wojciech}，标题={基于{SMT}抽象参数时间规划}，BookTitle={Petri网和其他并发X}模型上的事务，ISBN＝{978-3-662-48649-8；978-3-662-48650-4}，页码={55--83}，年份={2015年}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/978-3-662-48650-4_4}，关键词={68M11,68T30}，zbMATH={6733479}，Zbl={1366.68009}}