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
Deductive reasoning about concurrent probabilistic programs
- RWTH-2026-02088
Main document
file(s):
1029086
version 1
1029086.pdf
[4.5 MB]
02 Apr 2026, 10:21
OpenAccess
Source
file(s):
Restricted
1029086_source
version 1
1029086_source.zip
[6.45 MB]
27 Feb 2026, 22:22
Restricted
Similar records
RWTH
RWTH Aachen - Startseite
Universitätsbibliothek
Kontakt
Redaktion
Publizieren
Administration
RWTH Publications
Policy
Tutorials
Leitfaden
Allgemeines
Impressum
Disclaimer