Proceedings paper

Title:
Design of Ensemble-Based Component Systems by Invariant Refinement
Authors:
Jaroslav Keznikl, Tomáš Bureš, František Plášil, Ilias Gerostathopoulos, Petr Hnětynka, Nicklas 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},
}