共 50 条
- [41] Symbolic model checking temporal logics of knowledge in multi-agent system via extended mu-calculus [J]. BIO-INSPIRED COMPUTATIONAL INTELLIGENCE AND APPLICATIONS, 2007, 4688 : 510 - +
- [44] BFS-Based Model Checking of Linear-Time Properties with an Application on GPUs [J]. COMPUTER AIDED VERIFICATION: 28TH INTERNATIONAL CONFERENCE, CAV 2016, PT II, 2016, 9780 : 472 - 493