共 50 条
- [31] Reachability Design Through Approximate Bayesian Computation COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY (CMSB 2019), 2019, 11773 : 207 - 223
- [32] The Existence of Maximal w*–closed Submodules in Nest Algebra Modules Acta Mathematica Sinica, English Series, 2007, 23 : 193 - 200
- [34] Fast computation of reachability labeling for large graphs ADVANCES IN DATABASE TECHNOLOGY - EDBT 2006, 2006, 3896 : 961 - 979
- [35] Efficient Bounded Reachability Computation for Rectangular Automata REACHABILITY PROBLEMS, 2011, 6945 : 139 - +
- [37] Symbolic Reachability Computation of A Class of Nonlinear Systems PROCEEDINGS OF THE 8TH IEEE/ACIS INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION SCIENCE, 2009, : 706 - 710
- [38] Modules whose maximal submodules have tau-supplements ALGEBRA & DISCRETE MATHEMATICS, 2010, 10 (02): : 1 - 9