APA (7th ed.) Citation

Nakano, S., & Tsuchiya, T. (2017, January). Method and Case Study of Model Checking Concurrent Systems That Use Unbounded Timestamps. Proceedings (IEEE Pacific Rim International Symposium on Dependable Computing), 261-266. https://doi.org/10.1109/PRDC.2017.50

Chicago Style (17th ed.) Citation

Nakano, Shinya, and Tatsuhiro Tsuchiya. "Method and Case Study of Model Checking Concurrent Systems That Use Unbounded Timestamps." Proceedings (IEEE Pacific Rim International Symposium on Dependable Computing) Jan. 2017: 261-266. https://doi.org/10.1109/PRDC.2017.50.

MLA (9th ed.) Citation

Nakano, Shinya, and Tatsuhiro Tsuchiya. "Method and Case Study of Model Checking Concurrent Systems That Use Unbounded Timestamps." Proceedings (IEEE Pacific Rim International Symposium on Dependable Computing), Jan. 2017, pp. 261-266, https://doi.org/10.1109/PRDC.2017.50.