Parallel probabilistic model checking on general purpose graphics processors

• 作者Dragan Bošnački; Stefan Edelkamp; Damian Sulewski; Anton Wijs
• 卷第13卷
• 期第1期
• 印刷ISSN1433-2779
• 电子ISSN1433-2787
• 文件大小317.97KB
• 发表时间2011-01
• DOI10.1007/s10009-010-0176-4
• 页码21-35