Proceedings paper

Title:
Design of Ensemble-Based Component Systems by Invariant Refinement
Authors:
J. Keznikl, T. Bureš, F. Plášil, I. Gerostathopoulos, P. Hnětynka, N. Hoch
Publication:
Proceedings of CBSE'13, Vancouver, Canada
Year:
2013

BibTeX:
@inproceedings{keznikl_design_2013,
    title = {{Design of Ensemble-Based Component Systems by Invariant Refinement}},
    author = {Keznikl, Jaroslav and Bures, Tomas and Plasil, Frantisek and Gerostathopoulos, Ilias and Hnetynka, Petr and Hoch, Nicklas},
    year = {2013},
    booktitle = {{Proceedings of CBSE'13, Vancouver, Canada}},
    publisher = {ACM},
    pages = {91--100},
}