Verimag

bibtex

@article{BBN+10,
    title = {Compositional verification for component-based systems and application },
    author = {Bensalem, Saddek and Bozga, Marius and Nguyen, Thanh-Hung and Sifakis, Joseph},
    month = {June},
    year = {2010},
    journal = {IET Software},
    number = {3},
    pages = {181-193},
    volume = {4},
    team = {DCS},
}

Sections de Publications


Contact | Plan du site | Site réalisé avec SPIP 2.1.26 + AHUNTSIC [CC License]

Visiteurs connectés : 7 ; visites : 471479