Verimag

bibtex

@inproceedings{'NFB+6',
    title = { Monitoring Multi-threaded Component-Based Systems },
    author = {Nazarpour, Hosein and Falcone, Ylies and Bensalem, Saddek and Bozga, Marius and Combaz, Jacques},
    year = {2016},
    booktitle = {Integrated Formal Methods - 12th International Conference, {IFM} 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings},
    crossref = {DBLP:conf/ifm/2016},
    pages = {141--159},
    team = {DCS, RSD},
}

URL

Publication Sections


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

info visites 776728