SpringerLink (Online service), British Computer Society, BCS-FACS Workshop on Specification and Verification of Concurrent Systems, & Rattray, C. (1990). Specification and verification of concurrent systems. Springer-Verlag.
Chicago Style (17th ed.) CitationSpringerLink (Online service), British Computer Society, BCS-FACS Workshop on Specification and Verification of Concurrent Systems, and C. Rattray. Specification and Verification of Concurrent Systems. London ; New York: Springer-Verlag, 1990.
MLA (9th ed.) CitationSpringerLink (Online service), et al. Specification and Verification of Concurrent Systems. Springer-Verlag, 1990.
Warning: These citations may not always be 100% accurate.