Shinya Nakano, Tatsuhiro Tsuchiya. Method and Case Study of Model Checking Concurrent Systems That Use Unbounded Timestamps. In Dong Seong Kim, Masato Kitakami, Vijay Varadharajan, editors, 22nd IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2017, Christchurch, New Zealand, January 22-25, 2017. pages 261-266, IEEE Computer Society, 2017. [doi]
Abstract is missing.