Cite
HARVARD Citation
Ölveczky, P. (2017) Formal modeling and analysis of distributed systems : an introduction based on executable modeling in Maude. [Online]. London : Springer. Available from: http://access.bl.uk/ark:/81055/vdc_100071146127.0x000001