Y. Butkova
发表
P. Krcál,
H. Hermanns,
J. Krcál,
2017
.
H. Hermanns,
Ralf Wimmer,
Y. Butkova,
2018
.
Y. Butkova,
2017
.
Holger Hermanns,
Ralf Wimmer,
Yuliya Butkova,
2017,
TACAS.
Holger Hermanns,
Arnd Hartmanns,
Yuliya Butkova,
2021,
ACM Trans. Model. Comput. Simul..
Holger Hermanns,
Ola Bäckström,
Pavel Krcál,
2016,
SAFECOMP.
Holger Hermanns,
Jan Kretínský,
Pranav Ashok,
2018,
ATVA.
Holger Hermanns,
Jan Krcál,
Hassan Hatefi,
2015,
ATVA.
Holger Hermanns,
Arnd Hartmanns,
Yuliya Butkova,
2019,
QEST.