共 50 条
- [31] A logic for constraint-based security protocol analysis 2006 IEEE SYMPOSIUM ON SECURITY AND PRIVACY, PROCEEDINGS, 2006, : 155 - 168
- [35] Analysis Operations for Constraint-based Recommender Systems PROCEEDINGS OF THE 17TH ACM CONFERENCE ON RECOMMENDER SYSTEMS, RECSYS 2023, 2023, : 709 - 714
- [36] Constraint-based approach for analysis of hybrid systems COMPUTER AIDED VERIFICATION, 2008, 5123 : 190 - +
- [37] Contradiction Analysis for Constraint-based Random Simulation 2008 FORUM ON SPECIFICATION, VERIFICATION AND DESIGN LANGUAGES, 2008, : 154 - +
- [38] A Constraint-Based Analysis of Coda in Kelantan Dialect GEMA ONLINE JOURNAL OF LANGUAGE STUDIES, 2012, 12 (04): : 1127 - 1145
- [39] SYSTEMS BIOLOGY: CONSTRAINT-BASED RECONSTRUCTION AND ANALYSIS QUARTERLY REVIEW OF BIOLOGY, 2017, 92 (03): : 303 - 304