共 50 条
[41]
SymMC: Approximate Model Enumeration and Counting using Symmetry Information for Alloy Specifications
[J].
PROCEEDINGS OF THE 30TH ACM JOINT MEETING EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, ESEC/FSE 2022,
2022,
:1209-1220
[46]
Approximate symmetry of time-fractional partial differential equations with a small parameter
[J].
COMMUNICATIONS IN NONLINEAR SCIENCE AND NUMERICAL SIMULATION,
2023, 125
[49]
Three facets of time-reversal symmetry
[J].
European Journal for Philosophy of Science,
2021, 11