h1

001017608 001__ 1017608
001017608 005__ 20260224145211.0
001017608 0247_ $$2ISSN$$a0168-7433
001017608 0247_ $$2ISSN$$a1573-0670
001017608 0247_ $$2SCOPUS$$aSCOPUS:2-s2.0-105013673727
001017608 0247_ $$2WOS$$aWOS:001552725700001
001017608 0247_ $$2datacite_doi$$a10.18154/RWTH-2025-07439
001017608 0247_ $$2doi$$a10.1007/s10817-025-09736-7
001017608 037__ $$aRWTH-2025-07439
001017608 041__ $$aEnglish
001017608 082__ $$a004
001017608 1001_ $$0P:(DE-82)IDM06570$$aMertens, Hannah$$b0$$eCorresponding author$$urwth
001017608 245__ $$aComputing Expected Visiting Times and Stationary Distributions in Markov Chains: Fast and Accurate$$honline, print
001017608 260__ $$aDordrecht [u.a.]$$bSpringer Science + Business Media B.V.$$c2025
001017608 300__ $$a[1]-50
001017608 3367_ $$00$$2EndNote$$aJournal Article
001017608 3367_ $$0PUB:(DE-HGF)16$$2PUB:(DE-HGF)$$aJournal Article$$bjournal$$mjournal
001017608 3367_ $$2BibTeX$$aARTICLE
001017608 3367_ $$2DRIVER$$aarticle
001017608 3367_ $$2DataCite$$aOutput Types/Journal article
001017608 3367_ $$2ORCID$$aJOURNAL_ARTICLE
001017608 536__ $$0G:(DE-82)021000-OAPKF$$aOAPKF - Open-Access-Publikation mit Unterstützung der RWTH Aachen University (021000-OAPKF)$$c021000-OAPKF$$x0
001017608 536__ $$0G:(GEPRIS)282652900$$aGRK 2236 - GRK 2236: Unsicherheit und Randomisierung in Algorithmen, Verifikation und Logik. (282652900)$$c282652900$$x1
001017608 536__ $$0G:(MKW NRW)005-2401-0001$$aMKW NRW 005-2401-0001 - VerifAIPO : Verifying Al Systems under Partial Observability (005-2401-0001)$$c005-2401-0001$$x2
001017608 588__ $$aDataset connected to , , , CrossRef, Journals: publications.rwth-aachen.de
001017608 591__ $$aGermany
001017608 7001_ $$0P:(DE-82)IDM00048$$aKatoen, Joost-Pieter$$b1$$urwth
001017608 7001_ $$0P:(DE-82)IDM01389$$aQuatmann, Tim$$b2$$urwth
001017608 7001_ $$0P:(DE-82)IDM03625$$aWinkler, Tobias$$b3$$urwth
001017608 773__ $$0PERI:(DE-600)1479376-3$$a10.1007/s10817-025-09736-7$$n3$$p23$$tJournal of automated reasoning$$v69$$x1573-0670$$y2025
001017608 8564_ $$uhttps://publications.rwth-aachen.de/record/1017608/files/1017608.pdf$$yOpenAccess
001017608 8767_ $$c100$$d2025-09-04$$eOther$$jDEAL$$v7.00$$x021000-121310$$zServicepauschale
001017608 8767_ $$c2600$$d2025-09-04$$eHybrid-OA$$jDEAL$$v182.00$$x021000-121310
001017608 909CO $$ooai:publications.rwth-aachen.de:1017608$$popenaire$$popen_access$$popenCost$$pdriver$$pdnbdelivery$$pVDB$$pOpenAPC_DEAL
001017608 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM06570$$aRWTH Aachen$$b0$$kRWTH
001017608 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM00048$$aRWTH Aachen$$b1$$kRWTH
001017608 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM01389$$aRWTH Aachen$$b2$$kRWTH
001017608 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM03625$$aRWTH Aachen$$b3$$kRWTH
001017608 9141_ $$y2025
001017608 9151_ $$0StatID:(DE-HGF)0031$$2StatID$$aPeer reviewed article$$x0
001017608 915__ $$0LIC:(DE-HGF)CCBY4$$2HGFVOC$$aCreative Commons Attribution CC BY 4.0
001017608 915__ $$0StatID:(DE-HGF)0100$$2StatID$$aJCR$$bJ AUTOM REASONING : 2022$$d2024-12-16
001017608 915__ $$0StatID:(DE-HGF)0113$$2StatID$$aWoS$$bScience Citation Index Expanded$$d2024-12-16
001017608 915__ $$0StatID:(DE-HGF)0150$$2StatID$$aDBCoverage$$bWeb of Science Core Collection$$d2024-12-16
001017608 915__ $$0StatID:(DE-HGF)0160$$2StatID$$aDBCoverage$$bEssential Science Indicators$$d2024-12-16
001017608 915__ $$0StatID:(DE-HGF)0199$$2StatID$$aDBCoverage$$bClarivate Analytics Master Journal List$$d2024-12-16
001017608 915__ $$0StatID:(DE-HGF)0200$$2StatID$$aDBCoverage$$bSCOPUS$$d2024-12-16
001017608 915__ $$0StatID:(DE-HGF)0300$$2StatID$$aDBCoverage$$bMedline$$d2024-12-16
001017608 915__ $$0StatID:(DE-HGF)0420$$2StatID$$aNationallizenz$$d2024-12-16$$wger
001017608 915__ $$0StatID:(DE-HGF)0510$$2StatID$$aOpenAccess
001017608 915__ $$0StatID:(DE-HGF)3002$$2StatID$$aDEAL Springer$$d2024-12-16$$wger
001017608 915__ $$0StatID:(DE-HGF)9900$$2StatID$$aIF < 5$$d2024-12-16
001017608 915pc $$0PC:(DE-HGF)0000$$2APC$$aAPC keys set
001017608 915pc $$0PC:(DE-HGF)0001$$2APC$$aLocal Funding
001017608 915pc $$0PC:(DE-HGF)0002$$2APC$$aDFG OA Publikationskosten
001017608 9201_ $$0I:(DE-82)121310_20140620$$k121310$$lLehrstuhl für Softwaremodellierung und Verifikation (Informatik 2)$$x0
001017608 9201_ $$0I:(DE-82)120000_20140620$$k120000$$lFachgruppe Informatik$$x1
001017608 961__ $$c2025-09-01T09:32:29.422803$$x2025-09-01T09:32:29.422803$$z2025-09-01T09:32:29.422803
001017608 9801_ $$aFullTexts
001017608 980__ $$aAPC
001017608 980__ $$aI:(DE-82)120000_20140620
001017608 980__ $$aI:(DE-82)121310_20140620
001017608 980__ $$aUNRESTRICTED
001017608 980__ $$aVDB
001017608 980__ $$ajournal