![](/img/cover-not-exists.png)
Evaluation of model checkers by verifying message passing programs
Hong, Weijiang, Chen, Zhenbang, Yu, Hengbiao, Wang, JiVolume:
62
Journal:
Science China Information Sciences
DOI:
10.1007/s11432-018-9825-3
Date:
October, 2019
File:
PDF, 577 KB
2019