Cite
HARVARD Citation
Ciobanu, G. et al. (2016). Verifying vehicle control systems by using process calculi. International journal of ad hoc and ubiquitous computing. pp. 41-49. [Online].
This is an interim version of our Electronic Legal Deposit Catalogue-eJournals and eBooks while we continue to recover from a cyber-attack.
Ciobanu, G. et al. (2016). Verifying vehicle control systems by using process calculi. International journal of ad hoc and ubiquitous computing. pp. 41-49. [Online].