- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
In: 10.4230/LIPICS.CONCUR.2022.25
- Event
-
Veröffentlichung
- (where)
-
Aachen
- (who)
-
Universitätsbibliothek der RWTH Aachen
- (when)
-
2022
- Creator
- DOI
-
10.18154/RWTH-2022-08746
- URN
-
urn:nbn:de:101:1-2022091101330337602699
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.20252025, 1:33 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Fesefeldt, Ira Justus
- Katoen, Joost-Pieter
- Noll, Thomas
- Universitätsbibliothek der RWTH Aachen
Time of origin
- 2022
Other Objects (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
Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration
Formal methods for real time and probabilistic systems : proceedings
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
Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration
Formal methods for real time and probabilistic systems : proceedings
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
Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration
Formal methods for real time and probabilistic systems : proceedings