共 50 条
- [23] Compositional Synthesis for Symbolic Control HSCC 2018: PROCEEDINGS OF THE 21ST INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL (PART OF CPS WEEK), 2018, : 136 - 136
- [24] A compositional logic for control flow VERIFICATION, MODEL CHECKING , AND ABSTRACT INTERPRETATION, PROCEEDINGS, 2006, 3855 : 80 - +
- [29] The influence of compositional and structural diversity on forest productivity FORESTRY, 2010, 83 (02): : 121 - 128
- [30] Compositional and structural trends among the bismuth molybdates Topics in Catalysis, 2001, 15 : 235 - 239