共 50 条
- [32] Design and results of the 2nd annual satisfiability modulo theories competition (SMT-COMP 2006) Formal Methods in System Design, 2007, 31 : 221 - 239
- [35] HUNGARY, 2ND DESIGN COMPETITION FOR YOUTHS AND THE OBJECTS THEY USE DOMUS, 1988, (690): : 3 - 3
- [37] Vertical Agreements in EU Competition Law, 2nd edition COMMON MARKET LAW REVIEW, 2012, 49 (06): : 2066 - 2067
- [40] SHINKENCHIKU RESIDENTIAL DESIGN COMPETITION 1980 - 2ND PLACE JAPAN ARCHITECT, 1981, 56 (02): : 22 - 23