- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Ereignis
-
Veröffentlichung
- (wo)
-
Aachen
- (wer)
-
Universitätsbibliothek der RWTH Aachen
- (wann)
-
2022
- Urheber
- DOI
-
10.18154/RWTH-2022-08799
- URN
-
urn:nbn:de:101:1-2022091402120405861169
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:47 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Fesefeldt, Ira Justus
- Katoen, Joost-Pieter
- Noll, Thomas
- Universitätsbibliothek der RWTH Aachen
Entstanden
- 2022
Ähnliche Objekte (12)
Towards Concurrent Quantitative Separation Logic
Concepts, algorithms, and tools for model checking
Quantitative separation logic: a logic for reasoning about probabilistic pointer programs
Automated reasoning and randomization in separation logic
Boolean-logic driven Markov processes : Explained. Analysed. Verified.
New results on probabilistic verification : automata, logic and satisfiability
Industrial Applications of Probabilistic Model Checking- A Model-based Approach for Embedded Networked Systems and Concurrent Data Structures -
Quantitative aspects of embedded systems : 07101 abstracts collection ; Dagstuhl seminar
Quantitative and structural analysis of real-time and probabilistic systems
Foundations for Entailment Checking in Quantitative Separation Logic
Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration
Automatically Finding the Right Probabilities in Bayesian Networks
Towards Concurrent Quantitative Separation Logic
Concepts, algorithms, and tools for model checking
Quantitative separation logic: a logic for reasoning about probabilistic pointer programs
Automated reasoning and randomization in separation logic
Boolean-logic driven Markov processes : Explained. Analysed. Verified.
New results on probabilistic verification : automata, logic and satisfiability
Industrial Applications of Probabilistic Model Checking- A Model-based Approach for Embedded Networked Systems and Concurrent Data Structures -
Quantitative aspects of embedded systems : 07101 abstracts collection ; Dagstuhl seminar
Quantitative and structural analysis of real-time and probabilistic systems
Foundations for Entailment Checking in Quantitative Separation Logic
Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration
Automatically Finding the Right Probabilities in Bayesian Networks
Towards Concurrent Quantitative Separation Logic
Concepts, algorithms, and tools for model checking
Quantitative separation logic: a logic for reasoning about probabilistic pointer programs
Automated reasoning and randomization in separation logic
Boolean-logic driven Markov processes : Explained. Analysed. Verified.
New results on probabilistic verification : automata, logic and satisfiability
Industrial Applications of Probabilistic Model Checking- A Model-based Approach for Embedded Networked Systems and Concurrent Data Structures -
Quantitative aspects of embedded systems : 07101 abstracts collection ; Dagstuhl seminar
Quantitative and structural analysis of real-time and probabilistic systems
Foundations for Entailment Checking in Quantitative Separation Logic
Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration