bibtex

@inproceedings{BBB+12d,
    title = {Rigorous Component-Based System Design - (Invited Paper) },
    author = {Basu, Ananda and Bensalem, Saddek and Bozga, Marius and Sifakis, Joseph},
    year = {2012},
    booktitle = {Rewriting Logic and Its Applications - 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers},
    pages = {1-9},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    volume = {7571},
    team = {DCS, RSD},
}


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

info visites 4086047