Aznam Yacoub, Maamar El Amine Hamri, Claudia Frydman, C. Seo, Zeigler Bernard P.. Towards an Extension of PROMELA for the Modeling, Simulation and Verification of Discrete-Event Systems.
Proceedings of the 27th European Modelling and Simulation Symposium, 2015, Genoa, Italy.
⟨hal-03643254⟩