In
Principles of verification: cycling the probabilistic landscape, [Bd.] Part 1 / Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk, editors, Seiten/Artikel-Nr: 369-392
2025 & 2024
First Online: 13 November 2024
Online
DOI: 10.1007/978-3-031-75783-9_15
Einrichtungen
Dokumenttyp
Contribution to a book
Format
online, print
Sprache
English
Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-85212088824
Interne Identnummern
RWTH-2025-02687
Datensatz-ID: 1006751
Beteiligte Länder
Germany
Book
Principles of verification: cycling the probabilistic landscape, Part 1
Cham : Springer, Lecture notes in computer science 15260, XIX + 447 pages (2025) [10.1007/978-3-031-75783-9]
BibTeX |
EndNote:
XML,
Text |
RIS
![]() |
The record appears in these collections: |