博尔祖·博纳克达尔普尔;桑德普·库尔卡尼 综合有界时间2相故障恢复。 (英语) Zbl 1328.68045号 正式Asp。计算。 27,第1期,1-31页(2015年).MSC公司:68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Bonakdarpour}和\textit{S.Kulkarni},正式Asp。计算。27,编号1,1-31(2015年;兹bl 1328.68045) 全文: 内政部
博尔祖·博纳克达尔普尔;Sandeep S.Kulkarni。;福阿德·阿布贾拉德 屏蔽容错分布式程序的符号合成。 (英语) Zbl 1285.68016号 分布计算。 25,第1期,83-108(2012).MSC公司:68米15 64岁以下 68宽15 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Bonakdarpour}等人,《分布计算》。25,编号1,83--108(2012;Zbl 1285.68016) 全文: 内政部
Sandeep S.Kulkarni。;蔡斯·伯伦;约翰·奥列兹基维茨;安德鲁·罗宾逊 读/写原子性的交流发电机。 (英语) Zbl 1173.68560号 信息处理。莱特。 93,第5期,207-215(2005).MSC公司:68问题55 68纳米99 PDF格式BibTeX公司 XML格式引用 \textit{S.S.Kulkarni}等人,《信息处理》。莱特。93,第5号,207--215(2005;Zbl 1173.68560) 全文: 内政部
Sandeep S.Kulkarni。;博尔祖·博纳克达尔普尔;阿里·埃布纳西尔 容错程序自动合成的机械验证。 (英语) Zbl 1134.68348号 Sandro Etalle(编辑),《基于逻辑的程序合成和转换》。2004年8月26日至28日在意大利维罗纳举行的2004年LOPSTR第14届国际研讨会。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-540-26655-6/pbk)。计算机科学课堂讲稿3573,36-52(2005)。MSC公司:68号30 第68季度第60季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{S.S.Kulkarni}等人,Lect。注释计算。科学。3573、36-52(2005年;Zbl 1134.68348) 全文: 内政部