bibtex

@article{ABB+6a,
    title = {A general framework for architecture composability },
    author = {Attie, Paul C. and Baranov, Eduard and Bliudze, Simon and Jaber, Mohamad and Sifakis, Joseph},
    year = {2016},
    journal = {Formal Asp. Comput.},
    number = {2},
    pages = {207--231},
    volume = {28},
    team = {RDS},
}


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

info visites 3899680