Biondi, F., Given-Wilson, T., & Legay, A. (2019). Model Checking Software: 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings (1st ed. 2019.). Cham: Springer International Publishing.
Chicago Style CitationBiondi, Fabrizio, Thomas Given-Wilson, and Axel Legay. Model Checking Software: 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings. 1st ed. 2019. Cham: Springer International Publishing, 2019.
MLA CitationBiondi, Fabrizio, Thomas Given-Wilson, and Axel Legay. Model Checking Software: 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings. 1st ed. 2019. Cham: Springer International Publishing, 2019.
Warning: These citations may not always be 100% accurate.