共 50 条
- [31] The Reachability Query over Distributed Uncertain Graphs 2015 IEEE 35TH INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS, 2015, : 786 - 787
- [33] DISTRIBUTED REACHABILITY ANALYSIS FOR PROTOCOL VERIFICATION ENVIRONMENTS LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES, 1988, 103 : 40 - 56
- [35] Using Parallel and Distributed Reachability in Model Checking AMBIENT COMMUNICATIONS AND COMPUTER SYSTEMS, RACCCS 2017, 2018, 696 : 143 - 154
- [36] Distributed Algorithms for Time Optimal Reachability Analysis FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, FORMATS 2016, 2016, 9884 : 157 - 173
- [37] Distributed Binary Decision Diagrams for Symbolic Reachability SPIN'17: PROCEEDINGS OF THE 24TH ACM SIGSOFT INTERNATIONAL SPIN SYMPOSIUM ON MODEL CHECKING OF SOFTWARE, 2017, : 21 - 30