共 50 条
- [43] Approximate verification of concurrent systems using token structures and invariants International Journal on Software Tools for Technology Transfer, 2022, 24 : 613 - 633
- [44] Approximate Shortest Path Queries Using Voronoi Duals TRANSACTIONS ON COMPUTATIONAL SCIENCE IX, 2010, 6290 : 28 - 53