Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Dr Mengwei Xu.

Newcastle AuthorsTitleYearFull text
Dr Mengwei Xu
Modelling and Verifying BDI Agents with Bigraphs.2021