共 50 条
- [2] Displacement of entanglement back and forth between the micro and macro domains 2014 CONFERENCE ON LASERS AND ELECTRO-OPTICS (CLEO), 2014,
- [6] Back and forth between guarded and modal logics 15TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2000, : 217 - 228
- [9] Macro Deformation and Micro Displacement Characteristics of Granular Materials ENGINEERING GEOLOGY FOR SOCIETY AND TERRITORY, VOL 4: MARINE AND COASTAL PROCESSES, 2014, : 103 - 107
- [10] Model checking: Back and forth between hardware and software VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2008, 4171 : 251 - +