APA (7th ed.) Citation

Rajkumar, P. V., Ghosh, S. K., & Dasgupta, P. (2010). Concurrent Usage Control Implementation Verification Using the SPIN Model Checker. Recent Trends in Network Security and Applications, 214-223. https://doi.org/10.1007/978-3-642-14478-3_22

Chicago Style (17th ed.) Citation

Rajkumar, P. V., S. K. Ghosh, and P. Dasgupta. "Concurrent Usage Control Implementation Verification Using the SPIN Model Checker." Recent Trends in Network Security and Applications 2010: 214-223. https://doi.org/10.1007/978-3-642-14478-3_22.

MLA (9th ed.) Citation

Rajkumar, P. V., et al. "Concurrent Usage Control Implementation Verification Using the SPIN Model Checker." Recent Trends in Network Security and Applications, 2010, pp. 214-223, https://doi.org/10.1007/978-3-642-14478-3_22.