共 50 条
- [31] SYNTHESIS AND REACTIONS OF 1,2,3-TRITHIOLANES OF BRIDGED SYSTEMS ZEITSCHRIFT FUR CHEMIE, 1987, 27 (05): : 188 - 188
- [35] STEROID COMPOUNDS .9. EXPERIMENTS TOWARDS SYNTHESIS OF CONESSINE - SYNTHESIS OF TETRACYCLIC INTERMEDIATES INDIAN JOURNAL OF CHEMISTRY, 1971, 9 (06): : 515 - +
- [38] Towards Porting Operating Systems with Program Synthesis ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2023, 45 (01):
- [39] Towards modular synthesis of elementary net systems SYNTHESIS AND CONTROL OF DISCRETE EVENT SYSTEMS, 2002, : 103 - 113
- [40] Towards scalable synthesis of stochastic control systems DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2017, 27 (02): : 341 - 369