guest ::
| 001 | 1005875 | ||
| 005 | 20250607051128.0 | ||
| 024 | 7 | _ | |2 ISSN |a 1545-5971 |
| 024 | 7 | _ | |2 ISSN |a 1941-0018 |
| 024 | 7 | _ | |2 ISSN |a 2160-9209 |
| 024 | 7 | _ | |2 SCOPUS |a SCOPUS:2-s2.0-85151544098 |
| 024 | 7 | _ | |2 WOS |a WOS:001184911600027 |
| 024 | 7 | _ | |2 doi |a 10.1109/TDSC.2023.3261270 |
| 037 | _ | _ | |a RWTH-2025-02069 |
| 041 | _ | _ | |a English |
| 082 | _ | _ | |a 620 |
| 100 | 1 | _ | |0 P:(DE-82)IDM03741 |a Khan, Shahid |b 0 |e Corresponding author |u rwth |
| 245 | _ | _ | |a A Compositional Semantics of Boolean-Logic Driven Markov Processes |h online |
| 260 | _ | _ | |a New York, NY |b IEEE |c 2024 |
| 260 | _ | _ | |c 2023 |
| 336 | 7 | _ | |0 0 |2 EndNote |a Journal Article |
| 336 | 7 | _ | |0 PUB:(DE-HGF)16 |2 PUB:(DE-HGF) |a Journal Article |b journal |m journal |
| 336 | 7 | _ | |2 BibTeX |a ARTICLE |
| 336 | 7 | _ | |2 DRIVER |a article |
| 336 | 7 | _ | |2 DataCite |a Output Types/Journal article |
| 336 | 7 | _ | |2 ORCID |a JOURNAL_ARTICLE |
| 500 | _ | _ | |a Date of Publication: 24 March 2023 |
| 588 | _ | _ | |a Dataset connected to CrossRef, Journals: publications.rwth-aachen.de |
| 591 | _ | _ | |a France |
| 591 | _ | _ | |a Germany |
| 700 | 1 | _ | |0 P:(DE-82)IDM00048 |a Katoen, Joost-Pieter |b 1 |e Corresponding author |u rwth |
| 700 | 1 | _ | |0 0000-0002-5500-2949 |a Bouissou, Marc |b 2 |e Corresponding author |
| 773 | _ | _ | |0 PERI:(DE-600)2162420-3 |a 10.1109/TDSC.2023.3261270 |n 2 |p 701-716 |t IEEE transactions on dependable and secure computing : TDSC |v 21 |x 1941-0018 |y 2024 |
| 909 | C | O | |o oai:publications.rwth-aachen.de:1005875 |p VDB |
| 910 | 1 | _ | |0 I:(DE-588b)36225-6 |6 P:(DE-82)IDM03741 |a RWTH Aachen |b 0 |k RWTH |
| 910 | 1 | _ | |0 I:(DE-588b)36225-6 |6 P:(DE-82)IDM00048 |a RWTH Aachen |b 1 |k RWTH |
| 914 | 1 | _ | |y 2023 |
| 915 | 1 | _ | |0 StatID:(DE-HGF)0031 |2 StatID |a Peer reviewed article |x 0 |
| 915 | _ | _ | |0 StatID:(DE-HGF)0100 |2 StatID |a JCR |b IEEE T DEPEND SECURE : 2022 |d 2024-12-28 |
| 915 | _ | _ | |0 StatID:(DE-HGF)0113 |2 StatID |a WoS |b Science Citation Index Expanded |d 2024-12-28 |
| 915 | _ | _ | |0 StatID:(DE-HGF)0150 |2 StatID |a DBCoverage |b Web of Science Core Collection |d 2024-12-28 |
| 915 | _ | _ | |0 StatID:(DE-HGF)0160 |2 StatID |a DBCoverage |b Essential Science Indicators |d 2024-12-28 |
| 915 | _ | _ | |0 StatID:(DE-HGF)0199 |2 StatID |a DBCoverage |b Clarivate Analytics Master Journal List |d 2024-12-28 |
| 915 | _ | _ | |0 StatID:(DE-HGF)0200 |2 StatID |a DBCoverage |b SCOPUS |d 2024-12-28 |
| 915 | _ | _ | |0 StatID:(DE-HGF)0300 |2 StatID |a DBCoverage |b Medline |d 2024-12-28 |
| 915 | _ | _ | |0 StatID:(DE-HGF)1160 |2 StatID |a DBCoverage |b Current Contents - Engineering, Computing and Technology |d 2024-12-28 |
| 915 | _ | _ | |0 StatID:(DE-HGF)9905 |2 StatID |a IF >= 5 |b IEEE T DEPEND SECURE : 2022 |d 2024-12-28 |
| 920 | 1 | _ | |0 I:(DE-82)121310_20140620 |k 121310 |l Lehrstuhl für Softwaremodellierung und Verifikation (Informatik 2) |x 0 |
| 920 | 1 | _ | |0 I:(DE-82)080017_20140620 |k 080017 |l Profilbereich Information & Communication Technology (ICT) |x 1 |
| 920 | 1 | _ | |0 I:(DE-82)120000_20140620 |k 120000 |l Fachgruppe Informatik |x 2 |
| 980 | _ | _ | |a I:(DE-82)080017_20140620 |
| 980 | _ | _ | |a I:(DE-82)120000_20140620 |
| 980 | _ | _ | |a I:(DE-82)121310_20140620 |
| 980 | _ | _ | |a UNRESTRICTED |
| 980 | _ | _ | |a VDB |
| 980 | _ | _ | |a journal |
| Library | Collection | CLSMajor | CLSMinor | Language | Author |
|---|