Tim Quatmann
发表
Sebastian Junges,
Joost-Pieter Katoen,
Christian Hensel,
2020,
International Journal on Software Tools for Technology Transfer.
Nils Jansen,
Joost-Pieter Katoen,
Bernd Becker,
2015,
FM.
Joost-Pieter Katoen,
Mickael Randour,
Tim Quatmann,
2019,
ArXiv.
Joost-Pieter Katoen,
Tim Quatmann,
2020,
ArXiv.
Sebastian Junges,
Nils Jansen,
Joost-Pieter Katoen,
2019,
Formal Methods Syst. Des..
Joost-Pieter Katoen,
Tim Quatmann,
J. Katoen,
2018,
CAV.
Sebastian Junges,
Joost-Pieter Katoen,
Arnd Hartmanns,
2018,
TACAS.
Sebastian Junges,
Joost-Pieter Katoen,
Tim Quatmann,
2017,
Formal Methods in System Design.
Sebastian Junges,
Joost-Pieter Katoen,
Tim Quatmann,
2020,
ATVA.
Sebastian Junges,
Nils Jansen,
Joost-Pieter Katoen,
2016,
ATVA.
Sebastian Junges,
Nils Jansen,
Joost-Pieter Katoen,
2017,
ArXiv.
Mickael Randour,
Joost-Pieter Katoen,
Tim Quatmann,
2020,
TACAS.
Jan Kretínský,
Joachim Klein,
Arnd Hartmanns,
2019,
TACAS.
Arnd Hartmanns,
David Parker,
Michaela Klauck,
2019,
TACAS.
Sebastian Junges,
Arnd Hartmanns,
Tim Quatmann,
2020,
Journal of Automated Reasoning.
David Parker,
Zhen Zhang,
Carlos E. Budde,
2020,
ISoLA.
Sebastian Junges,
Nils Jansen,
Joost-Pieter Katoen,
2019,
SNR.
Sebastian Junges,
Joost-Pieter Katoen,
Tim Quatmann,
2021
.
Sebastian Junges,
Joost-Pieter Katoen,
Christian Hensel,
2020,
International Journal on Software Tools for Technology Transfer.
Joost-Pieter Katoen,
Tim Quatmann,
Alexander Bork,
2022,
TACAS.
Joost-Pieter Katoen,
Tim Quatmann,
J. Katoen,
2020,
TACAS.