bibtex

@inproceedings{MBB+5,
    title = {Configuration Logics: Modelling Architecture Styles },
    author = {Mavridou, Anastasia and Baranov, Eduard and Bliudze, Simon and Sifakis, Joseph},
    year = {2015},
    booktitle = {Formal Aspects of Component Software - 12th International Conference, {FACS} 2015, Niter{\'{o}}i, Brazil, October 14-16, 2015, Revised Selected Papers},
    pages = {256--274},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    volume = {9539},
    team = {RSD},
}


Contact | Site Map | Site powered by SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4095704