Parallel probabilistic model checking on general purpose graphics processors

Dragan Bosnacki, Stefan Edelkamp, Damian Sulewski, Anton Wijs

Research output: Contribution to journalArticleAcademicpeer-review

22 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Parallel probabilistic model checking on general purpose graphics processors'. Together they form a unique fingerprint.

Engineering & Materials Science