APA-Zitierstil (7. Ausg.)

Pfähler, J. M. c. 2. J. (2018). A Modular Verification Methodology for Caching and Lock-Based Concurrency in File Systems.

Chicago-Zitierstil (17. Ausg.)

Pfähler, Jörg Michael ca. 20./21. Jh. A Modular Verification Methodology for Caching and Lock-Based Concurrency in File Systems. Augsburg, 2018.

MLA-Zitierstil (9. Ausg.)

Pfähler, Jörg Michael ca. 20./21. Jh. A Modular Verification Methodology for Caching and Lock-Based Concurrency in File Systems. 2018.