h1

001005875 001__ 1005875
001005875 005__ 20250607051128.0
001005875 0247_ $$2ISSN$$a1545-5971
001005875 0247_ $$2ISSN$$a1941-0018
001005875 0247_ $$2ISSN$$a2160-9209
001005875 0247_ $$2SCOPUS$$aSCOPUS:2-s2.0-85151544098
001005875 0247_ $$2WOS$$aWOS:001184911600027
001005875 0247_ $$2doi$$a10.1109/TDSC.2023.3261270
001005875 037__ $$aRWTH-2025-02069
001005875 041__ $$aEnglish
001005875 082__ $$a620
001005875 1001_ $$0P:(DE-82)IDM03741$$aKhan, Shahid$$b0$$eCorresponding author$$urwth
001005875 245__ $$aA Compositional Semantics of Boolean-Logic Driven Markov Processes$$honline
001005875 260__ $$aNew York, NY$$bIEEE$$c2024
001005875 260__ $$c2023
001005875 3367_ $$00$$2EndNote$$aJournal Article
001005875 3367_ $$0PUB:(DE-HGF)16$$2PUB:(DE-HGF)$$aJournal Article$$bjournal$$mjournal
001005875 3367_ $$2BibTeX$$aARTICLE
001005875 3367_ $$2DRIVER$$aarticle
001005875 3367_ $$2DataCite$$aOutput Types/Journal article
001005875 3367_ $$2ORCID$$aJOURNAL_ARTICLE
001005875 500__ $$aDate of Publication: 24 March 2023
001005875 588__ $$aDataset connected to CrossRef, Journals: publications.rwth-aachen.de
001005875 591__ $$aFrance
001005875 591__ $$aGermany
001005875 7001_ $$0P:(DE-82)IDM00048$$aKatoen, Joost-Pieter$$b1$$eCorresponding author$$urwth
001005875 7001_ $$00000-0002-5500-2949$$aBouissou, Marc$$b2$$eCorresponding author
001005875 773__ $$0PERI:(DE-600)2162420-3$$a10.1109/TDSC.2023.3261270$$n2$$p701-716$$tIEEE transactions on dependable and secure computing : TDSC$$v21$$x1941-0018$$y2024
001005875 909CO $$ooai:publications.rwth-aachen.de:1005875$$pVDB
001005875 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM03741$$aRWTH Aachen$$b0$$kRWTH
001005875 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM00048$$aRWTH Aachen$$b1$$kRWTH
001005875 9141_ $$y2023
001005875 9151_ $$0StatID:(DE-HGF)0031$$2StatID$$aPeer reviewed article$$x0
001005875 915__ $$0StatID:(DE-HGF)0100$$2StatID$$aJCR$$bIEEE T DEPEND SECURE : 2022$$d2024-12-28
001005875 915__ $$0StatID:(DE-HGF)0113$$2StatID$$aWoS$$bScience Citation Index Expanded$$d2024-12-28
001005875 915__ $$0StatID:(DE-HGF)0150$$2StatID$$aDBCoverage$$bWeb of Science Core Collection$$d2024-12-28
001005875 915__ $$0StatID:(DE-HGF)0160$$2StatID$$aDBCoverage$$bEssential Science Indicators$$d2024-12-28
001005875 915__ $$0StatID:(DE-HGF)0199$$2StatID$$aDBCoverage$$bClarivate Analytics Master Journal List$$d2024-12-28
001005875 915__ $$0StatID:(DE-HGF)0200$$2StatID$$aDBCoverage$$bSCOPUS$$d2024-12-28
001005875 915__ $$0StatID:(DE-HGF)0300$$2StatID$$aDBCoverage$$bMedline$$d2024-12-28
001005875 915__ $$0StatID:(DE-HGF)1160$$2StatID$$aDBCoverage$$bCurrent Contents - Engineering, Computing and Technology$$d2024-12-28
001005875 915__ $$0StatID:(DE-HGF)9905$$2StatID$$aIF >= 5$$bIEEE T DEPEND SECURE : 2022$$d2024-12-28
001005875 9201_ $$0I:(DE-82)121310_20140620$$k121310$$lLehrstuhl für Softwaremodellierung und Verifikation (Informatik 2)$$x0
001005875 9201_ $$0I:(DE-82)080017_20140620$$k080017$$lProfilbereich Information & Communication Technology (ICT)$$x1
001005875 9201_ $$0I:(DE-82)120000_20140620$$k120000$$lFachgruppe Informatik$$x2
001005875 961__ $$c2025-03-07T14:25:44.221540$$x2025-03-07T14:25:44.221540$$z2025-03-07
001005875 980__ $$aI:(DE-82)080017_20140620
001005875 980__ $$aI:(DE-82)120000_20140620
001005875 980__ $$aI:(DE-82)121310_20140620
001005875 980__ $$aUNRESTRICTED
001005875 980__ $$aVDB
001005875 980__ $$ajournal