共 50 条
- [1] Modular Synthesis of Sketches Using Models [J]. VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION: (VMCAI 2014), 2014, 8318 : 395 - 414
- [2] An algebraic approach to modular synthesis of Petri nets based simulation models of production systems [J]. ESS'98 - SIMULATION TECHNOLOGY: SCIENCE AND ART, 1998, : 453 - 459
- [3] Modular Assembly of Volterra Models of Nonlinear Physical Systems [J]. JOURNAL OF DYNAMIC SYSTEMS MEASUREMENT AND CONTROL-TRANSACTIONS OF THE ASME, 2011, 133 (05):
- [5] Pyridine synthesis: A modular, catalytic approach [J]. ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY, 2012, 243
- [6] Towards a modular approach for heparin synthesis [J]. JOURNAL OF THE CHEMICAL SOCIETY-PERKIN TRANSACTIONS 1, 2001, (08): : 814 - 822
- [9] A modular approach for the synthesis of dibenzoazepine derivatives [J]. SYNTHESIS-STUTTGART, 2006, (21): : 3575 - 3584