共 50 条
- [22] A CONSTRAINT-BASED APPROACH TO SUPPORTING HUMAN NEGOTIATION IN CONCURRENT ENGINEERING FORMAL DESIGN METHODS FOR CAD, 1994, 18 : 263 - 281
- [23] Constraint-Based Relational Verification COMPUTER AIDED VERIFICATION (CAV 2021), PT I, 2021, 12759 : 742 - 766
- [25] Constraint-based collaborative design 2006 10TH INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED COOPERATIVE WORK IN DESIGN, PROCEEDINGS, VOLS 1 AND 2, 2006, : 290 - 295
- [30] Maintaining Constraint-based Applications K-CAP'07: PROCEEDINGS OF THE FOURTH INTERNATIONAL CONFERENCE ON KNOWLEDGE CAPTURE, 2007, : 79 - 86