Works matching IS 14332779 AND DT 2011 AND VI 13 AND IP 1

Parallel probabilistic model checking on general purpose graphics processors.

Published in:

International Journal on Software Tools for Technology Transfer, 2011, v. 13, n. 1, p. 21, doi. 10.1007/s10009-010-0176-4

By:

• Bošnački, Dragan;
• Edelkamp, Stefan;
• Sulewski, Damian;
• Wijs, Anton

Publication type:

Article