Paul Gainer
发表
Sven Schewe,
Paul Gainer,
Ernst Moritz Hahn,
2018,
ATVA.
Paul Gainer,
2020
.
Clare Dixon,
Michael Fisher,
Ullrich Hustadt,
2017,
FMICS-AVoCS.
Clare Dixon,
Ullrich Hustadt,
Paul Gainer,
2016,
TAROS.
Clare Dixon,
Michael Fisher,
Ullrich Hustadt,
2017,
QEST.
Clare Dixon,
Ullrich Hustadt,
Lan Zhang,
2015,
TABLEAUX.
Sven Schewe,
Paul Gainer,
Ernst Moritz Hahn,
2018,
QEST.
Clare Dixon,
Michael Fisher,
Ullrich Hustadt,
2017,
ICFEM.
Clare Dixon,
Michael Fisher,
Ullrich Hustadt,
2018,
Formal Methods Syst. Des..
Clare Dixon,
Michael Fisher,
Kerstin Dautenhahn,
2021,
Paladyn J. Behav. Robotics.