bibtex

@article{BBP+11,
    title = {Priority scheduling of distributed systems based on model checking },
    author = {Basu, Ananda and Bensalem, Saddek and Peled, Doron and Sifakis, Joseph},
    year = {2011},
    journal = {Formal Methods in System Design},
    number = {3},
    pages = {229-245},
    volume = {39},
    team = {DCS, RSD},
}


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

info visites 4201337