bibtex

@article{NFB+7,
    title = { Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation },
    author = {Nazarpour, Hosein and Falcone, Ylies and Bensalem, Saddek and Bozga, Marius},
    year = {2017},
    journal = {Formal Asp. Comput.},
    number = {6},
    pages = {951--986},
    volume = {29},
    team = {RSD},
}

URL


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

info visites 4155170