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
Citace podle Chicago (17th ed.)Nakano, Shinya, a 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.
Citace podle MLA (9th ed.)Nakano, Shinya, a 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.