@第{zbMATH07252035条，作者={Perh{\'a}{\v{c}}，J{\'a}n和Mih{\a}lyi，丹尼尔和诺维茨克，瓦莱丽}，Title={在{IDS}行为描述的面向资源的逻辑的语法和语义之间}，FJournal={应用数学与计算力学杂志}，期刊={J.Appl.Math.Comput.Mech.}，ISSN={2299-9965}，体积={15}，数字={2}，页码={105--118}，年份={2016年}，语言={英语}，DOI={10.17512/jamcm.2016.2.12}，关键词={68M10,03B47,03B70,03F52,68M25}，zbMATH={7252035}，Zbl={1524.68017}}