h1

001021248 001__ 1021248
001021248 005__ 20251112054300.0
001021248 0247_ $$2ISBN$$a978-3-031-98678-9
001021248 0247_ $$2ISBN$$a978-3-031-98679-6
001021248 0247_ $$2ISSN$$a0302-9743
001021248 0247_ $$2ISSN$$a1611-3349
001021248 0247_ $$2SCOPUS$$aSCOPUS:2-s2.0-105013025253
001021248 0247_ $$2WOS$$aWOS:001562506600003
001021248 0247_ $$2doi$$a10.1007/978-3-031-98679-6_3
001021248 0247_ $$2datacite_doi$$a10.18154/RWTH-2025-09529
001021248 037__ $$aRWTH-2025-09529
001021248 041__ $$aEnglish
001021248 1001_ $$00009-0008-4461-0667$$aSpork, Timm$$b0$$eCorresponding author
001021248 1112_ $$a37. International Conference on Computer Aided Verification-CAV-Annual$$cZagreb$$d2025-07-23 - 2025-07-25$$wCroatia
001021248 245__ $$aApproximate Probabilistic Bisimulation for Continuous-Time Markov Chains$$honline
001021248 260__ $$aCham$$bSpringer Nature Switzerland$$c2025
001021248 29510 $$aComputer Aided Verification : 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II
001021248 300__ $$a56-81
001021248 3367_ $$033$$2EndNote$$aConference Paper
001021248 3367_ $$0PUB:(DE-HGF)7$$2PUB:(DE-HGF)$$aContribution to a book$$mcontb
001021248 3367_ $$0PUB:(DE-HGF)8$$2PUB:(DE-HGF)$$aContribution to a conference proceedings$$bcontrib$$mcontrib
001021248 3367_ $$2BibTeX$$aINPROCEEDINGS
001021248 3367_ $$2DRIVER$$aconferenceObject
001021248 3367_ $$2DataCite$$aOutput Types/Conference Paper
001021248 3367_ $$2ORCID$$aCONFERENCE_PAPER
001021248 4900_ $$aLecture Notes in Computer Science$$v15932
001021248 588__ $$aDataset connected to , , , CrossRef Book Series, Journals: publications.rwth-aachen.de
001021248 591__ $$aGermany
001021248 7001_ $$00000-0002-5321-9343$$aBaier, Christel$$b1
001021248 7001_ $$0P:(DE-82)IDM00048$$aKatoen, Joost-Pieter$$b2$$urwth
001021248 7001_ $$00000-0003-1724-2586$$aKlüppelholz, Sascha$$b3
001021248 7001_ $$00000-0003-4829-0476$$aPiribauer, Jakob$$b4
001021248 8564_ $$uhttps://publications.rwth-aachen.de/record/1021248/files/1021248.pdf$$yOpenAccess
001021248 909CO $$ooai:publications.rwth-aachen.de:1021248$$popenaire$$popen_access$$pVDB$$pdriver$$pdnbdelivery
001021248 9151_ $$0StatID:(DE-HGF)0041$$2StatID$$aPeer review status of article unknown$$x0
001021248 915__ $$0StatID:(DE-HGF)0200$$2StatID$$aDBCoverage$$bSCOPUS$$d2024-12-28
001021248 915__ $$0LIC:(DE-HGF)CCBY4$$2HGFVOC$$aCreative Commons Attribution CC BY 4.0
001021248 915__ $$0StatID:(DE-HGF)0510$$2StatID$$aOpenAccess
001021248 915__ $$0StatID:(DE-HGF)0420$$2StatID$$aNationallizenz$$d2024-12-28$$wger
001021248 9141_ $$y2025
001021248 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM00048$$aRWTH Aachen$$b2$$kRWTH
001021248 9201_ $$0I:(DE-82)121310_20140620$$k121310$$lLehrstuhl für Softwaremodellierung und Verifikation (Informatik 2)$$x0
001021248 9201_ $$0I:(DE-82)120000_20140620$$k120000$$lFachgruppe Informatik$$x1
001021248 961__ $$c2025-11-11T14:05:09.650975$$x2025-11-11T14:05:09.650975$$z2025-11-11T14:05:09.650975
001021248 980__ $$aI:(DE-82)120000_20140620
001021248 980__ $$aI:(DE-82)121310_20140620
001021248 980__ $$aUNRESTRICTED
001021248 980__ $$aVDB
001021248 980__ $$acontb
001021248 980__ $$acontrib
001021248 9801_ $$aFullTexts