共 50 条
- [11] Low power dynamic ternary logic IEE proceedings. Part G. Electronic circuits and systems, 1988, 135 (06): : 221 - 230
- [13] Relational Differential Dynamic Logic TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT I, TACAS 2020, 2020, 12078 : 191 - 208
- [14] Relational Differential Dynamic Logic PROCEEDINGS OF THE 2019 22ND ACM INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL (HSCC '19), 2019, : 284 - 285
- [15] Ternary DDCVSL: a combined dynamic logic style for standard ternary logic with single power source IET COMPUTERS AND DIGITAL TECHNIQUES, 2020, 14 (04): : 166 - 175
- [16] LOW-POWER DYNAMIC TERNARY LOGIC IEE PROCEEDINGS-G CIRCUITS DEVICES AND SYSTEMS, 1988, 135 (06): : 221 - 230
- [17] Differential Dynamic Logic for Hybrid Systems Journal of Automated Reasoning, 2008, 41 : 143 - 189
- [18] Embedding Differential Dynamic Logic in PVS ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2024, (402):
- [20] Formally Verified Differential Dynamic Logic PROCEEDINGS OF THE 6TH ACM SIGPLAN CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP'17, 2017, : 208 - 221