Jaroslav Keznikl

2014

Jiří Barnat, Nikola Beneš, Tomáš Bureš, Ivana Černá, Jaroslav Keznikl, and František Plášil:
Towards Verification of Ensemble-Based Component Systems,
Formal Aspects of Component Software (FACS), Springer, 2014, volume 8348 of LNCS, 1–20. [bibtex]