Cite
APA Citation
Kirwan, R., Miller, A., & Porr, B. (2016). model checking learning agent systems using Promela with embedded C code and abstraction. Formal aspects of computing, 28, 1027–1056. http://access.bl.uk/ark:/81055/vdc_100080816322.0x00017d