h1

h2

h3

h4

h5
h6
http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png

Probabilistic Counterexamples Through the Ages

; ;

In
Principles of Formal Quantitative Analysis: Essays Dedicated to Christel Baier on the Occasion of Her 60th Birthday / edited by Nathalie Bertrand, Clemens Dubslaff, Sascha Klüppelholz, Seiten/Artikel-Nr: 174-196

ImpressumCham : Springer Nature Switzerland

Umfang174-196

ISBN978-3-031-97438-0, 978-3-031-97439-7

ReiheLecture Notes in Computer Science ; 15760

First Online: 30 August 2025

Online
DOI: 10.1007/978-3-031-97439-7_8


Einrichtungen

  1. Lehr- und Forschungsgebiet Theorie Hybrider Systeme (123420)



Dokumenttyp
Contribution to a book

Format
online, print

Sprache
English

Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-105016735078

Interne Identnummern
RWTH-2026-02698
Datensatz-ID: 1030002

Beteiligte Länder
Germany

 GO

NationallizenzNationallizenz ; SCOPUS
QR Code for this record

The record appears in these collections:
Document types > Books > Contributions to a book
Faculty of Computer Science (Fac.9)
Public records
Publications database
123420
 Record created 2026-03-04, last modified 2026-04-01
Similar records



Rate this document:

Rate this document:
1
2
3
4
5
 
(Not yet reviewed)