conference-paper
Open access
Principles of Verification: Cycling the Probabilistic Landscape
Research footprint
At a glance
- Citations
- 0
- References
- 0
- Comments
- 0
Paper overview
Abstract
Festschrift honoring Joost-Pieter Katoen, a leading researcher, educator, and organizer in the domains of formal methods, verification, and concurrency.
Record transparency
Publication details
- DOI
- 10.1007/978-3-031-75783-9
- OpenAlex
- W4404289098
- Document type
- conference-paper
- Language
- EN
- Source
- Lecture notes in computer science
- Last metadata update
Comments
Log in to join the discussion.