Cited By
View all- Fan YWang M(2024)Specification Mining Based on the Ordering Points to Identify the Clustering Structure Clustering Algorithm and Model CheckingAlgorithms10.3390/a1701002817:1(28)Online publication date: 10-Jan-2024
- Valizadeh MFijalkow NBerger M(2024)LTL Learning on GPUsComputer Aided Verification10.1007/978-3-031-65633-0_10(209-231)Online publication date: 24-Jul-2024
- Wu YXu ZQin S(2023)Detecting API-Misuse Based on Pattern Mining via API Usage Graph with ParametersTheoretical Aspects of Software Engineering10.1007/978-3-031-35257-7_21(344-363)Online publication date: 27-Jun-2023
- Show More Cited By