Petr Peringer
发表
Tomás Vojnar,
Petr Müller,
Kamil Dudka,
2013,
TACAS.
Tomás Vojnar,
Kamil Dudka,
Petr Peringer,
2011,
EUROCAST.
Lukás Holík,
Tomás Vojnar,
Marek Trtík,
2016,
VMCAI.
Tomás Vojnar,
Veronika Soková,
Petr Peringer,
2016,
TACAS.
Tomás Vojnar,
Veronika Soková,
Petr Peringer,
2020,
TACAS.
Tomás Vojnar,
Petr Müller,
Petr Peringer,
2015,
TACAS.
Tomás Vojnar,
Kamil Dudka,
Petr Peringer,
2011,
CAV.
Tomás Vojnar,
Kamil Dudka,
Petr Peringer,
2013,
SAS.
Radek Koci,
Petr Peringer,
Martin Hrubý,
2002
.
Tomás Vojnar,
Petr Müller,
Kamil Dudka,
2012,
TACAS.
Lukás Holík,
Tomás Vojnar,
Veronika Soková,
2016,
Haifa Verification Conference.
Tomás Vojnar,
Kamil Dudka,
Petr Peringer,
2014,
TACAS.
Tomáš Vojnar,
Petr Peringer,
Michal Kotoun,
2019,
ArXiv.