Toward an integrated framework for the simulation, formal analysis and enactment of discrete events systems models

Hamzat Olanrewaju Aliyu, Mamadou Kaba Traoré. Toward an integrated framework for the simulation, formal analysis and enactment of discrete events systems models. In Proceedings of the 2015 Winter Simulation Conference, Huntington Beach, CA, USA, December 6-9, 2015. pages 3090-3091, IEEE/ACM, 2015. [doi]

@inproceedings{AliyuT15,
  title = {Toward an integrated framework for the simulation, formal analysis and enactment of discrete events systems models},
  author = {Hamzat Olanrewaju Aliyu and Mamadou Kaba Traoré},
  year = {2015},
  url = {http://dl.acm.org/citation.cfm?id=2888980},
  researchr = {https://researchr.org/publication/AliyuT15},
  cites = {0},
  citedby = {0},
  pages = {3090-3091},
  booktitle = {Proceedings of the 2015 Winter Simulation Conference, Huntington Beach, CA, USA, December 6-9, 2015},
  publisher = {IEEE/ACM},
  isbn = {978-1-4673-9741-4},
}