@第{zbMATH01234516条，作者={拉宾诺维奇，亚历山大}，Title={关于连续时间规范形式的可判定性}，FJournal={逻辑与计算杂志}，日志={J.Log.Comput.}，ISSN={0955-792X}，体积={8}，数字={5}，Pages＝{669-678}，年份={1998}，语言={英语}，DOI={10.1093/logcom/8.5.669}，关键词={03B25,03B45,03D05,68Q05}，URL={semanticscholar.org/paper/90de47e81e2e971c6ae94ba82153d2bac0b7b50e}，zbMATH={1234516}，Zbl={0913.03018}}