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]
@inproceedings{NakanoT17,
title = {Method and Case Study of Model Checking Concurrent Systems That Use Unbounded Timestamps},
author = {Shinya Nakano and Tatsuhiro Tsuchiya},
year = {2017},
doi = {10.1109/PRDC.2017.50},
url = {https://doi.org/10.1109/PRDC.2017.50},
researchr = {https://researchr.org/publication/NakanoT17},
cites = {0},
citedby = {0},
pages = {261-266},
booktitle = {22nd IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2017, Christchurch, New Zealand, January 22-25, 2017},
editor = {Dong Seong Kim and Masato Kitakami and Vijay Varadharajan},
publisher = {IEEE Computer Society},
isbn = {978-1-5090-5652-1},
}