APA Citation

Ölveczky, P. C. (2017). Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude. London : Springer London.

Chicago Style Citation

Ölveczky, Peter Csaba. Designing Reliable Distributed Systems: A Formal Methods Approach Based On Executable Modeling in Maude. London : Springer London, 2017.

MLA Citation

Ölveczky, Peter Csaba. Designing Reliable Distributed Systems: A Formal Methods Approach Based On Executable Modeling in Maude. London : Springer London, 2017.

Warning: These citations may not always be 100% accurate.