h1

h2

h3

h4

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

Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains

; ; ; ;

In
Computer Aided Verification : 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II, Seiten/Artikel-Nr: 56-81

Konferenz/Event:37. International Conference on Computer Aided Verification-CAV-Annual , Zagreb , Croatia , 2025-07-23 - 2025-07-25

ImpressumCham : Springer Nature Switzerland

Umfang56-81

ISBN978-3-031-98678-9, 978-3-031-98679-6

ReiheLecture Notes in Computer Science ; 15932

Online
DOI: 10.1007/978-3-031-98679-6_3

DOI: 10.18154/RWTH-2025-09529
URL: https://publications.rwth-aachen.de/record/1021248/files/1021248.pdf

Einrichtungen

  1. Lehrstuhl für Softwaremodellierung und Verifikation (Informatik 2) (121310)
  2. Fachgruppe Informatik (120000)


OpenAccess:
Volltext herunterladen PDF

Dokumenttyp
Contribution to a book/Contribution to a conference proceedings

Format
online

Sprache
English

Anmerkung
Peer review status of article unknown

Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-105013025253
WOS Core Collection: WOS:001562506600003

Interne Identnummern
RWTH-2025-09529
Datensatz-ID: 1021248

Beteiligte Länder
Germany

 GO

Creative Commons Attribution CC BY 4.0 ; OpenAccess ; NationallizenzNationallizenz ; SCOPUS
QR Code for this record

The record appears in these collections:
Dokumenttypen > Ereignisse > Beiträge zu Proceedings
Dokumenttypen > Bücher > Buchbeiträge
Publikationsserver / Open Access
Fakultät für Informatik (Fak.9)
Öffentliche Einträge
Publikationsdatenbank
120000
121310
 Datensatz erzeugt am 2025-11-11, letzte Änderung am 2025-11-12
Ähnliche Datensätze


OpenAccess:
Volltext herunterladen PDF
Dieses Dokument bewerten:

Rate this document:
1
2
3
4
5
 
(Bisher nicht rezensiert)