APA (7th ed.) Citation

SpringerLink (Online service), Atig, M. F., Bensalem, S., Bliudze, S., & Monsuez, B. (2018). Verification and Evaluation of Computer and Communication Systems: 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings (1st ed. 2018.). Springer International Publishing : Imprint: Springer. https://doi.org/10.1007/978-3-030-00359-3

Chicago Style (17th ed.) Citation

SpringerLink (Online service), Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, and Bruno Monsuez. Verification and Evaluation of Computer and Communication Systems: 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings. 1st ed. 2018. Cham: Springer International Publishing : Imprint: Springer, 2018. https://doi.org/10.1007/978-3-030-00359-3.

MLA (8th ed.) Citation

SpringerLink (Online service), et al. Verification and Evaluation of Computer and Communication Systems: 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings. 1st ed. 2018. Springer International Publishing : Imprint: Springer, 2018. https://doi.org/10.1007/978-3-030-00359-3.