A
Menu
January 01, 2021 conference-paper Aachen paper

Accelerating SpMV Multiplication in Probabilistic Model Checkers Using GPUs

Lecture notes in computer science, pp. 86–104

DOI: 10.1007/978-3-030-85315-0_6 OpenAlex

Authors 3

  1. Muhammad Hannan Khan corresponding

    National University of Sciences and Technology

    Affiliation as printed

    School of Electrical Engineering and Computer Science, National University of Sciences and Technology (NUST), Islamabad, Pakistan

  2. Osman Hassan

    National University of Sciences and Technology

    Affiliation as printed

    School of Electrical Engineering and Computer Science, National University of Sciences and Technology (NUST), Islamabad, Pakistan

  3. Shahid Ali Khan Aachen Software Modeling and Verification

    RWTH Aachen University

    Affiliation as printed

    Software Modeling and Verification, RWTH Aachen University, Aachen, Germany

Cited by 8 stored of 8

8 results

No patents citing this paper on Lens.org (checked 2026-10-06).

References 35