PaperMetrixEvidence-aware discovery
EN
Interface language English EN العربية AR Türkçe TR
Create account
Researcher profile

Christoph Matheja

1 paper in the PaperMetrix corpus

Publications

Papers by this author

  1. Principles of Verification: Cycling the Probabilistic Landscape

    2024 · Lecture notes in computer science

    Festschrift honoring Joost-Pieter Katoen, a leading researcher, educator, and organizer in the domains of formal methods, verification, and concurrency.