Tobias Winkler
发表
Benjamin Lucien Kaminski,
J. Katoen,
Kevin Batz,
2022,
Proc. ACM Program. Lang..
J. Katoen,
L. Klinkenberg,
Mingshuai Chen,
2022,
CAV.
J. Katoen,
Tobias Winkler,
Christina Gehnen,
2022
.
Sebastian Junges,
Joost-Pieter Katoen,
Guillermo A. Pérez,
2021,
J. Comput. Syst. Sci..
Sebastian Junges,
Joost-Pieter Katoen,
Guillermo A. Pérez,
2019,
CONCUR.
R. Kümmel,
Dietmar Lindenberger,
Tobias Winkler,
2017
.
J. Katoen,
L. Klinkenberg,
Mingshuai Chen,
2023,
ArXiv.
Joost-Pieter Katoen,
Tobias Winkler,
Benjamin Lucien Kaminski,
2020,
LOPSTR.
Lutz Eckstein,
Michael Kaliske,
Felix Hartung,
2018,
Tribology International.
K. Chatterjee,
J. Katoen,
Tobias Winkler,
2023,
Formal Methods in System Design.
Maximilian Weininger,
Tobias Winkler,
Tobias Winkler,
2021,
GandALF.
Krishnendu Chatterjee,
Joost-Pieter Katoen,
Tobias Winkler,
2020,
CAV.
Benjamin Lucien Kaminski,
J. Katoen,
Kevin Batz,
2022,
ArXiv.
J. Katoen,
Sebastian Junges,
G. Pérez,
2020,
J. Comput. Syst. Sci..
Joost-Pieter Katoen,
Johannes Lehman,
Tobias Winkler,
2020,
VMCAI.