Rattray, C. (1990). Specification and Verification of Concurrent Systems (1st ed. 1990.). London: Springer London.
Chicago Style CitationRattray, Charles. Specification and Verification of Concurrent Systems. 1st ed. 1990. London: Springer London, 1990.
MLA CitationRattray, Charles. Specification and Verification of Concurrent Systems. 1st ed. 1990. London: Springer London, 1990.
Warning: These citations may not always be 100% accurate.