@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},
}
bibtex
Contact |
Plan du site |
Site réalisé avec SPIP 4.4.28 +
AHUNTSIC
[CC License]
info visites 32399556
|
|
|