Publication Records

2013

1. DCCL: Verification of Component Systems with Ensembles

   BARNAT, Jiří, Nikola BENEŠ, Ivana ČERNÁ and Zuzana PETRUCHOVÁ. DCCL: Verification of Component Systems with Ensembles. In CBSE '13 Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering. New York, NY, USA: ACM, 2013, p. 43-52. ISBN 978-1-4503-2122-8. Available from: https://dx.doi.org/10.1145/2465449.2465453.

   More: https://is.muni.cz/publication/1131921/en