Cite
HARVARD Citation
Yacoub, A. et al. (2017). DEv-PROMELA: an extension of PROMELA for the modelling, simulation and verification of discrete-event systems. International journal of simulation and process modelling. pp. 313-327. [Online].
This is an interim version of our Electronic Legal Deposit Catalogue-eJournals and eBooks while we continue to recover from a cyber-attack.
Yacoub, A. et al. (2017). DEv-PROMELA: an extension of PROMELA for the modelling, simulation and verification of discrete-event systems. International journal of simulation and process modelling. pp. 313-327. [Online].