@inproceedings{degerlund:hal-01527642,
  TITLE = {{Scheduling of Compute-Intensive Code Generated from Event-B Models: An Empirical Efficiency Study}},
  AUTHOR = {Degerlund, Fredrik},
  URL = {https://inria.hal.science/hal-01527642},
  BOOKTITLE = {{12th International Conference on Distributed Applications and Interoperable Systems (DAIS)}},
  ADDRESS = {Stockholm, Sweden},
  EDITOR = {Karl Michael G{\"o}schka and Seif Haridi},
  PUBLISHER = {{Springer}},
  SERIES = {Distributed Applications and Interoperable Systems},
  VOLUME = {LNCS-7272},
  PAGES = {177-184},
  YEAR = {2012},
  MONTH = Jun,
  DOI = {10.1007/978-3-642-30823-9\_15},
  PDF = {https://inria.hal.science/hal-01527642/file/978-3-642-30823-9_15_Chapter.pdf},
  HAL_ID = {hal-01527642},
  HAL_VERSION = {v1},
}