2023 | |
---|---|
![]() ![]() [bibtex] | Thomas Noll. Concurrent Separation Logic with Probabilities, Talk at Research seminar on Open Problems in Concurrency Theory Bertinoro, Italy, 2023. |
2022 | |
[bibtex] | Thomas Noll. Analysing Train Delays by Episode Mining, Talk at MOVES Dagstuhl Workshop, Dagstuhl, Germany, 2022. |
Show all |