Researchr是一个由研究人员为研究人员查找、收集、共享和审查科学出版物的网站。
注册对于一个帐户,可以创建一个带有出版物列表的配置文件,标记并审阅您的相关工作,以及与您的合著者共享书目。
阿列克桑达尔·查卡洛夫,斯里拉姆·桑卡拉纳拉亚南.带有鞅的概率规划分析.在娜塔莎·莎莉吉娜,赫尔穆特·维思,编辑,计算机辅助验证——第25届国际会议,2013年7月13日至19日,俄罗斯圣彼得堡,CAV 2013。诉讼程序.第8044卷计算机科学课堂讲稿,页511-526、施普林格、,2013 [doi]
缺少摘要。