Shao Jie Zhang, Yang Liu 0003. Model Checking a Lazy Concurrent List-Based Set Algorithm. In Fourth International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2010, Singapore, June 9-11, 2010. pages 43-52, IEEE Computer Society, 2010. [doi]
@inproceedings{ZhangL10-25, title = {Model Checking a Lazy Concurrent List-Based Set Algorithm}, author = {Shao Jie Zhang and Yang Liu 0003}, year = {2010}, doi = {10.1109/SSIRI.2010.37}, url = {http://doi.ieeecomputersociety.org/10.1109/SSIRI.2010.37}, tags = {laziness, rule-based, model checking, meta-model, Meta-Environment}, researchr = {https://researchr.org/publication/ZhangL10-25}, cites = {0}, citedby = {0}, pages = {43-52}, booktitle = {Fourth International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2010, Singapore, June 9-11, 2010}, publisher = {IEEE Computer Society}, isbn = {978-0-7695-4086-3}, }