@misc{dimitry:hal-01244887,
TITLE = {Implantation mat{\'e}rielle de moniteurs pour la v{\'e}rification en ligne des syst{\`e}mes informatiques},
AUTHOR = {Dimitry, Solet},
URL = {https://hal.science/hal-01244887},
NOTE = {S{\'e}minaire des jeudis de la com' de l'{\'e}quipe SCN},
YEAR = {2015},
MONTH = Dec, HAL_ID = {hal-01244887},
HAL_VERSION = {v1},
}