Ölveczky, P. C. (2017). Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude. Springer London : Imprint: Springer.
Chicago Style (17th ed.) CitationÖlveczky, Peter Csaba. Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude. London: Springer London : Imprint: Springer, 2017.
MLA (8th ed.) CitationÖlveczky, Peter Csaba. Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude. Springer London : Imprint: Springer, 2017.
Warning: These citations may not always be 100% accurate.
