Sifakis Emmanuel, Mounier Laurent. Politiques de gestion de protections pour l'implémentation de sections critiques. Techniques et Sciences Informatiques, 31(8):1153-1181, 2012.
Download paper: (link)
Copyright notice:
[ Test and run-time verification ]
@article{ESifakisM12,
Author = {Emmanuel, Sifakis and Laurent, Mounier},
Title = {Politiques de gestion de protections pour l'implémentation de sections critiques},
Journal = {Techniques et Sciences Informatiques},
Volume = {31},
Number = {8},
Pages = {1153--1181},
Year = {2012}
}
Get EndNote Reference (.ref)