APA (7th ed.) Citation

Xu, Q., Roever, W. d., & He, J. (1995). Rely guarantee method for verifying shared variable concurrent programs. Inst. für Informatik und Praktische Mathematik.

Chicago Style (17th ed.) Citation

Xu, Qiwen, Willem-Paul de Roever, and Jifeng He. Rely Guarantee Method for Verifying Shared Variable Concurrent Programs. Kiel: Inst. für Informatik und Praktische Mathematik, 1995.

MLA (9th ed.) Citation

Xu, Qiwen, et al. Rely Guarantee Method for Verifying Shared Variable Concurrent Programs. Inst. für Informatik und Praktische Mathematik, 1995.