@article{dhaussy:hal-01006676,
  TITLE = {{V{\'e}rification formelle de propri{\'e}t{\'e}s : Application de l'outil OBP au cas d'{\'e}tude CCS}},
  AUTHOR = {Dhaussy, Philippe and Le Roux, Luka and Teodorov, Ciprian},
  URL = {https://hal.science/hal-01006676},
  JOURNAL = {{G{\'e}nie logiciel : le magazine de l'ing{\'e}nierie du logiciel et des syst{\`e}mes}},
  PUBLISHER = {{G{\'e}nie industriel multim{\'e}dia}},
  VOLUME = {109},
  PAGES = {xx},
  YEAR = {2014},
  MONTH = Jun,
  KEYWORDS = {V{\'e}rification formelle ; exploration de mod{\`e}le ; contextes ; observateurs ; CDL ; OBP},
  HAL_ID = {hal-01006676},
  HAL_VERSION = {v1},
}