Strategic directions in constraint programming
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Constraint Programming: Strategic Directions
Constraints
True Concurrency in Models of Asynchronous Circuit Behavior
Formal Methods in System Design
Hi-index | 0.00 |