Jakub Chaloupka
发表
Jakub Chaloupka,
2009
.
Jakub Chaloupka,
Luboš Brim,
Jiří Barnat,
2004
.
Jakub Chaloupka,
Lubovs Brim,
L. Brim,
2010,
Int. J. Found. Comput. Sci..
Lubos Brim,
Jakub Chaloupka,
2012,
Int. J. Found. Comput. Sci..
Jakub Chaloupka,
Jakub Chaloupka,
2009,
ESA.
Jakub Chaloupka,
2011
.
Jaco van de Pol,
Jiri Barnat,
Jakub Chaloupka,
2011,
J. Log. Comput..
Jakub Chaloupka,
Luboš Brim,
2009,
MEMICS.
Lubos Brim,
Jiri Barnat,
Jakub Chaloupka,
2005,
FMICS.
Lubos Brim,
Jiri Barnat,
Jakub Chaloupka,
2003,
18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings..
Jakub Chaloupka,
Jakub Chaloupka,
2010,
Fundam. Informaticae.
Jaco van de Pol,
Jakub Chaloupka,
Jǐŕı Barnat,
2008,
PDMC@CAV.
Jakub Chaloupka,
2010,
RP.
Jakub Chaloupka,
2010
.