h1
h2
h3
h4
h5
h6
RWTH Publications
English
Deutsch
guest ::
login
Search
Submit
Personalize
Your alerts
Your baskets
Your searches
Your personal authority Record
Help
Information
References
Discussion
Files
Projection in a probabilistic epistemic logic and its application to belief-based program verification
- RWTH-2022-10632
Main document
file(s):
856068
version 1
856068.pdf
[1.25 MB]
16 Jan 2023, 13:31
OpenAccess
Source
file(s):
Restricted
856068_source
version 1
856068_source.zip
[532.83 KB]
25 Nov 2022, 11:07
Restricted
Similar records
RWTH
RWTH Aachen - Startseite
Universitätsbibliothek
Kontakt
Redaktion
Publizieren
Administration
RWTH Publications
Policy
Tutorials
Leitfaden
Allgemeines
Impressum
Disclaimer