@收款{zbMATH06320341，作者＝｛Fahrenberg、Uli和Guldstrand Larsen、Kim和Legay、Axel和Traonouez、Louis Marie｝，标题={模态转换系统的参数和数量扩展}，BookTitle={从程序到系统。计算中的系统视角。ETAPS研讨会，FPS 2014，纪念约瑟夫·西法克斯，法国格勒诺布尔，2014年4月6日。诉讼}，国际标准图书编号={978-3-642-54847-5}，页码={84--97}，年份={2014}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/978-3-642-54848-2_6}，关键词={68Q85,68Q60}，zbMATH={6320341}，Zbl={1416.68121}}