共 50 条
- [31] A Process Calculus Analysis of Compensations TRUSTWORTHY GLOBAL COMPUTING, 2009, 5474 : 87 - 103
- [34] Termination analysis of the untyped λ-calculus REWRITING TECHNIQUES AND APPLICATIONS, PROCEEDINGS, 2004, 3091 : 1 - 23
- [37] Where Calculus and Engineering Converge: an Analysis of Curricular Change in Calculus for Engineers International Journal of Research in Undergraduate Mathematics Education, 2021, 7 : 379 - 399
- [39] Attack tree analysis RISK, RELIABILITY AND SAFETY: INNOVATING THEORY AND PRACTICE, 2017, : 1023 - 1027