Cite
HARVARD Citation
Doan, H. et al. (2022). Specifying and Model Checking Distributed Control Algorithms at Meta-level. Computer journal. pp. 2998-3019. [Online].
This is an interim version of our Electronic Legal Deposit Catalogue-eJournals and eBooks while we continue to recover from a cyber-attack.
Doan, H. et al. (2022). Specifying and Model Checking Distributed Control Algorithms at Meta-level. Computer journal. pp. 2998-3019. [Online].