机译:特征转换系统的模态转换系统编码
Halmstad Univ, Halmstad, Sweden;
Tech Univ Darmstadt, Darmstadt, Germany;
Tech Univ Darmstadt, Darmstadt, Germany;
Tech Univ Darmstadt, Darmstadt, Germany;
Univ Leicester, Leicester, Leics, England;
Featured transition systems; Modal transition systems; Expressive power; Product lines; Modeling;
机译:特色过渡系统的模态转换系统编码
机译:特色过渡系统:验证可变性密集系统的基础及其在LTL模型检查中的应用
机译:标称过渡系统的模态逻辑
机译:从特色过渡系统到具有可变性约束的模态过渡系统
机译:铟过渡金属与n型砷化镓的欧姆接触的热力学研究,以及季镓-铟-(过渡或贵金属)-砷体系的热化学行为概述。
机译:Lokiarchaeota标志着古细菌和真核硒代半胱氨酸编码系统之间的过渡
机译:从特色过渡系统到具有可变性约束的模态过渡系统