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-Zitierstil (17. Ausg.)Nakano, Shinya, und 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-Zitierstil (9. Ausg.)Nakano, Shinya, und 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.