APA (7th ed.) Citation
Rattray, C. (1990). Specification and veritification of concurrent systems. Springer Verlag.
Chicago Style (17th ed.) Citation
Rattray, C. Specification and Veritification of Concurrent Systems. London: Springer Verlag, 1990.
MLA (9th ed.) Citation
Rattray, C. Specification and Veritification of Concurrent Systems. Springer Verlag, 1990.
Warning: These citations may not always be 100% accurate.