Guest Editorial for the Special Issue on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (FORECAST)

Maurice H. ter Beek, Michele Loreti. Guest Editorial for the Special Issue on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (FORECAST). ACM Trans. Model. Comput. Simul., 28(2), 2018. [doi]

@article{BeekL18,
  title = {Guest Editorial for the Special Issue on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (FORECAST)},
  author = {Maurice H. ter Beek and Michele Loreti},
  year = {2018},
  doi = {10.1145/3177772},
  url = {http://doi.acm.org/10.1145/3177772},
  researchr = {https://researchr.org/publication/BeekL18},
  cites = {0},
  citedby = {0},
  journal = {ACM Trans. Model. Comput. Simul.},
  volume = {28},
  number = {2},
}