共 50 条
- [42] Model Counting for Recursively-Defined Strings COMPUTER AIDED VERIFICATION (CAV 2017), PT II, 2017, 10427 : 399 - 418
- [43] Counting Vertices of Integral Polytopes Defined by Facets Discrete & Computational Geometry, 2023, 70 : 975 - 990
- [44] Validation of Software Used for Calibration of Angle Block at CSIR-NPL, India MAPAN-JOURNAL OF METROLOGY SOCIETY OF INDIA, 2016, 31 (01): : 31 - 41
- [46] Ensuring the reliability of alpha counting Journal of Electronic Materials, 2000, 29 : 1284 - 1289
- [47] Interrater and intrarater reliability of the alpha angle of the hip: is the alpha angle reliable? CURRENT ORTHOPAEDIC PRACTICE, 2014, 25 (04): : 383 - 388
- [48] Languages defined with modular counting quantifiers - (extended abstract) STACS 98 - 15TH ANNUAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE, 1998, 1373 : 332 - 343
- [49] OpenCounter: Counting Unknown Flows in Software Defined Networks PROCEEDINGS OF THE 2015 INTERNATIONAL SYMPOSIUM ON PERFORMANCE EVALUATION OF COMPUTER AND TELECOMMUNICATION SYSTEMS (SPECTS), 2015,