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 26 12:01:15 2024 BST.