拉杰夫·阿鲁尔;萨尔瓦多拉托雷;Madhusudan,P。 递归游戏图的模块化策略。 (英语) Zbl 1088.68099号 西奥。计算。科学。 354,第230-249号(2006年).MSC公司:60年第68季度 91A05型 91年43月 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人,Theor。计算。科学。354,编号2,230--249(2006;Zbl 1088.68099) 全文: 内政部 链接
Madhusudan,P。;Thiagarajan,P.S。 离散事件系统的分支时间控制器。 (英语) Zbl 0992.68148号 西奥。计算。科学。 274,编号1-2,117-149(2002).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.Madhusudan}和\textit{P.S.Thiagarajan},Theor。计算。科学。274,编号1--2,117-449(2002;Zbl 0992.68148) 全文: 内政部