Weijiang Hong, Zhenbang Chen, Hengbiao Yu, Ji Wang 0001. Evaluation of model checkers by verifying message passing programs. Science in China Series F: Information Sciences, 62(10), 2019. [doi]
@article{HongCYW19, title = {Evaluation of model checkers by verifying message passing programs}, author = {Weijiang Hong and Zhenbang Chen and Hengbiao Yu and Ji Wang 0001}, year = {2019}, doi = {10.1007/s11432-018-9825-3}, url = {https://doi.org/10.1007/s11432-018-9825-3}, researchr = {https://researchr.org/publication/HongCYW19}, cites = {0}, citedby = {0}, journal = {Science in China Series F: Information Sciences}, volume = {62}, number = {10}, }