Cite
HARVARD Citation
Zeigler, B. et al. (2017). Combining DEVS and model-checking: concepts and tools for integrating simulation and analysis. International journal of simulation and process modelling. pp. 2-15. [Online].
This is an interim version of our Electronic Legal Deposit Catalogue-eJournals and eBooks while we continue to recover from a cyber-attack.
Zeigler, B. et al. (2017). Combining DEVS and model-checking: concepts and tools for integrating simulation and analysis. International journal of simulation and process modelling. pp. 2-15. [Online].