共 50 条
- [3] Kinetics of the wavetrain in the two-variable oregonator model CHINESE PHYSICS, 2001, 10 (12): : 1096 - 1102
- [6] Weighted model counting beyond two-variable logic LICS'18: PROCEEDINGS OF THE 33RD ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, 2018, : 619 - 628