Verimag

bibtex

@inproceedings{SBB+15,
    title = { A Theory Agenda for Component-Based Design },
    author = {Sifakis, Joseph and Bensalem, Saddek and Bliudze, Simon and Bozga, Marius},
    year = {2015},
    booktitle = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering},
    crossref = {DBLP:conf/birthday/2015wirsing},
    pages = {409--439},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    volume = {8950},
    team = {rsd, dcs, DCS},
}

URL

Publication Sections


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

info visites 915140