Browse by Glasgow Author
Number of items: 1.
Data Collection
Kirwan, R., Miller, A. and Porr, B.
(2016)
Model checking learning agent systems using Promela with embedded C code and abstraction.
[Data Collection]
This list was generated on Fri Apr 19 00:45:42 2024 BST.