共 50 条
- [41] A High speed Low Power Adder in Dynamic logic base on Transmission Gate 2015 INTERNATIONAL CONFERENCED ON CIRCUITS, POWER AND COMPUTING TECHNOLOGIES (ICCPCT-2015), 2015,
- [42] dLι: Definite Descriptions in Differential Dynamic Logic AUTOMATED DEDUCTION, CADE 27, 2019, 11716 : 94 - 110
- [43] ON THE DIFFERENTIAL DYNAMIC LOGIC MODEL FOR HYBRID SYSTEMS ACTA TECHNICA NAPOCENSIS SERIES-APPLIED MATHEMATICS MECHANICS AND ENGINEERING, 2018, 61 (04): : 533 - 538
- [44] A Temporal Differential Dynamic Logic Formal Embedding PROCEEDINGS OF THE 13TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2024, 2024, : 162 - 176
- [46] Correction to: Differential Dynamic Logic for Hybrid Systems Journal of Automated Reasoning, 2022, 66 : 173 - 173
- [47] A Uniform Substitution Calculus for Differential Dynamic Logic AUTOMATED DEDUCTION - CADE-25, 2015, 9195 : 467 - 481
- [48] Compositional proofs in differential dynamic logic dL 2017 17TH INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN (ACSD), 2017, : 19 - 28
- [50] Estimate of speed of differential logic elements with noise immunity Radiotekhnika, 1991, (07): : 24 - 29