Samuel Pastva
发表
David Šafránek,
Luboš Brim,
Nikola Beneš,
2017
.
Lubos Brim,
David Safránek,
Martin Demko,
2016,
FM.
Lubos Brim,
David Safránek,
Martin Demko,
2016,
ATVA.
Lubos Brim,
David Safránek,
Samuel Pastva,
2020,
Sci. Comput. Program..
Lubos Brim,
David Safránek,
Martin Demko,
2017,
CAV.
David Šafránek,
Martin Demko,
Samuel Pastva,
2015
.
Kim Guldstrand Larsen,
Peter Gjøl Jensen,
Tobias Skovgaard Jepsen,
2018
.
Samuel Pastva,
Matej Hajnal,
Samuel Pastva,
2020,
SASB.
Lubos Brim,
David Safránek,
Samuel Pastva,
2019,
Automated Reasoning for Systems Biology and Medicine.
Samuel Pastva,
Lubos Brim,
David Safranek,
2020,
ArXiv.
Kim G. Larsen,
Jirí Srba,
Andreas Engelbredt Dalsgaard,
2017,
Petri Nets.
Lubos Brim,
David Safránek,
Milan Ceska,
2015,
CMSB.
David Šafránek,
Nikola Beneš,
Samuel Pastva,
2018,
2018 22nd International Conference on System Theory, Control and Computing (ICSTCC).
David Šafránek,
Luboš Brim,
Nikola Beneš,
2017
.
Lubos Brim,
David Safránek,
Martin Demko,
2019,
CMSB.
David Safránek,
Samuel Pastva,
Nikola Benes,
2019,
IFM.
Lubos Brim,
David Safránek,
Samuel Pastva,
2020,
CMSB.
Lubos Brim,
David Safránek,
Martin Demko,
2016,
CMSB.
Lubos Brim,
David Safránek,
Samuel Pastva,
2019,
ICFEM.
Samuel Pastva,
2015
.
Lubos Brim,
David Safránek,
Pavel Krejcí,
2016,
HSB.
David Šafránek,
Nikola Beneš,
Samuel Pastva,
2020,
CAV.
Lubos Brim,
David Safránek,
Jiri Barnat,
2017,
CMSB.
Kim G. Larsen,
Jirí Srba,
Peter Gjøl Jensen,
2018,
Fundam. Informaticae.
Lubos Brim,
David Safránek,
Samuel Pastva,
2019,
TACAS.
Lubos Brim,
David Safránek,
Martin Demko,
2015,
HSB.
David Šafránek,
Luboš Brim,
Nikola Beneš,
2020,
Int. J. Bifurc. Chaos.
Lubos Brim,
David Safránek,
Samuel Pastva,
2019,
HSCC.
Lubos Brim,
David Safránek,
Samuel Pastva,
2021,
CMSB.
Lubos Brim,
David Safránek,
Samuel Pastva,
2021,
CAV.
Lubos Brim,
David Safránek,
Samuel Pastva,
2021,
TACAS.
Lubos Brim,
David Safránek,
Samuel Pastva,
2021,
ArXiv.
Samuel Pastva,
Lubovs Brim,
Matej Troj'ak,
2021
.