@第{zbMATH00417347条，作者={福格勒，沃尔特}，标题={相互模拟和动作细化}，FJournal={理论计算机科学}，期刊={Theor.Comput.Sci.}，ISSN＝{0304-3975}，体积={114}，数字={1}，页码={173--200}，年份={1993}，语言={英语}，DOI={10.1016/0304-3975（93）90157-O}，关键词={68Q55,68Q10}，zbMATH={417347}，Zbl={0778.68060}}