@inproceedings{lelann:hal-00703785,
  TITLE = {{Mod{\'e}lisation algorithmique et synth{\`e}se d'architectures assist{\'e}es par model-checking}},
  AUTHOR = {Le Lann, Jean-Christophe and Dhaussy, Philippe and Lagalaye, Pierre-Laurent},
  URL = {https://hal-ensta-bretagne.archives-ouvertes.fr/hal-00703785},
  BOOKTITLE = {{CAL 2012-}},
  ADDRESS = {Montpellier, France},
  PAGES = {xx},
  YEAR = {2012},
  MONTH = May,
  KEYWORDS = {Architectures de calcul ; Performances de calcul ; V{\'e}rification formelle ; Patrons de propri{\'e}t{\'e}s ; Observateurs. ; Observateurs},
  HAL_ID = {hal-00703785},
  HAL_VERSION = {v1},
}