Parallel probabilistic model checking on general purpose graphics processors

✍ Scribed by Dragan Bošnački; Stefan Edelkamp; Damian Sulewski; Anton Wijs

• Book ID: 106245556
• Publisher: Springer
• Year: 2010
• Tongue: English
• Weight: 318 KB
• Volume: 13
• Category: Article
• ISSN: 1433-2779
• DOI: 10.1007/s10009-010-0176-4