B. Krena

发表

Tomás Vojnar, Bohuslav Krena, Shmuel Ur, 2010, PADTAD '10.

Zeev Volkovich, Tomás Vojnar, Bohuslav Krena, 2017, Concurr. Comput. Pract. Exp..

T. Vojnar, B. Krena, Zdenek Letko, 2010 .

Tomás Vojnar, Vendula Hrubá, Bohuslav Krena, 2009, EUROCAST.

Tomás Vojnar, Bohuslav Krena, T. Vojnar, 2013, Int. J. Gen. Syst..

Tomás Vojnar, Bohuslav Krena, Zdenek Letko, 2011, RV.

Tomás Vojnar, Bohuslav Krena, Zdenek Letko, 2008, PADTAD '08.

Tomás Vojnar, Bohuslav Krena, Shmuel Ur, 2007, PADTAD '07.

Tomás Vojnar, Jan Fiedor, Vendula Hrubá, 2015, Softw. Test. Verification Reliab..

Tomás Vojnar, Vendula Hrubá, Bohuslav Krena, 2012, SSBSE.

Tomás Vojnar, Jan Fiedor, Bohuslav Krena, 2011, EUROCAST.