共 50 条
- [42] TRAVELING WAVES IN AN SEIR EPIDEMIC MODEL WITH THE VARIABLE TOTAL POPULATION DISCRETE AND CONTINUOUS DYNAMICAL SYSTEMS-SERIES B, 2016, 21 (10): : 3723 - 3742
- [44] Safety property verification using sequential SAT and bounded model checking IEEE DESIGN & TEST OF COMPUTERS, 2004, 21 (02): : 132 - 143
- [49] On Set Representation of Bounded Degree Hypergaphs ELECTRONIC JOURNAL OF COMBINATORICS, 2025, 32 (01):
- [50] On Bounded Reachability of Programs with Set Comprehensions LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 2008, 5330 : 305 - +