Abdelhak Khemiri, Maâmar El-Amine Hamri, Claudia S. Frydman, Jacques Pinaton. Limiting state space explosion of model checking using discrete event simulation: combining DEVS and PROMELA. In Umut Durak, editor, Proceedings of the 2019 Summer Simulation Conference, SummerSim 2019, Berlin, Germany, July 22-24, 2019. ACM, 2019. [doi]
@inproceedings{KhemiriHFP19,
title = {Limiting state space explosion of model checking using discrete event simulation: combining DEVS and PROMELA},
author = {Abdelhak Khemiri and Maâmar El-Amine Hamri and Claudia S. Frydman and Jacques Pinaton},
year = {2019},
url = {https://dl.acm.org/citation.cfm?id=3374147},
researchr = {https://researchr.org/publication/KhemiriHFP19},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 2019 Summer Simulation Conference, SummerSim 2019, Berlin, Germany, July 22-24, 2019},
editor = {Umut Durak},
publisher = {ACM},
}