A
Menu
November 12, 2024 conference-paper Aachen paper

Towards End-to-End GPU Acceleration of PCTL Model Checking

Lecture notes in computer science, pp. 314–337

DOI: 10.1007/978-3-031-75775-4_14 OpenAlex

Authors 3

  1. Jan Heemstra

    Eindhoven University of Technology

    Affiliation as printed

    Eindhoven University of Technology, Eindhoven, The Netherlands

  2. Muhammad Osama Aachen Leiden Institute of Advanced Computer Science

    Leiden University

    Affiliation as printed

    Leiden Institute of Advanced Computer Science (LIACS), Leiden University, Leiden, The Netherlands

  3. Anton Wijs corresponding

    Eindhoven University of Technology

    Affiliation as printed

    Eindhoven University of Technology, Eindhoven, The Netherlands

Cited by 1 stored of 1

1 result

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

References 55