@inproceedings{dsd2016,
  TITLE = {{Developing a Framework Dedicated to Wireless Protocol Property Validation during Simulation}},
  AUTHOR = {Barnes, Calypso and Cottin, Jean-Marie and Verdier, Fran{\c c}ois and Pegatoquet, Alain and Gaff{\'e}, Daniel},
  URL = {https://hal.archives-ouvertes.fr/hal-01343907},
  BOOKTITLE = {{Euromicro Conference on Digital System Design (DSD)}},
  ADDRESS = {Limassol, Cyprus},
  PAGES = {Work in Progress session},
  YEAR = {2016},
  MONTH = Aug,
  HAL_ID = {hal-01343907},
  HAL_VERSION = {v1},
}