苏布拉马尼,K。;德索夫斯基,D。 部分透视调度算法的实证分析。 (英语) Zbl 1124.68015号 国际J.并行紧急配送系统。 22,第5号,331-353(2007).MSC公司:68平方米 68瓦40 65年第68季度 60年第68季度 68T20型 68瓦20 68瓦30 90B35型 PDF格式BibTeX公司 XML格式引用 \textit{K.Subramani}和\textit{D.Desovski},国际期刊:并行紧急分发系统。22,第5号,331--353(2007;Zbl 1124.68015) 全文: 内政部
苏布拉马尼,K。;德索夫斯基。 一种新的部分透视调度验证程序。 (英语) Zbl 1124.68014号 Pettersson,Paul(编辑)等,时间系统的形式化建模和分析。第三届国际会议,FORMATS 2005,乌普萨拉,瑞典,2005年9月26-28日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-30946-2/pbk)。计算机科学课堂讲稿3829127-141(2005)。MSC公司:68平方米 60年第68季度 90B35型 68瓦30 03C10号机组 PDF格式BibTeX公司 XML格式引用 \textit{K.Subramani}和\textit{D.Desovski},莱克特。注释计算。科学。3829127--141(2005年;Zbl 1124.68014) 全文: 内政部