共 22 条
- [1] [Anonymous], 1978, AM MATH SOC CBMS
- [3] Bogomolov Sergiy, 2015, Hardware and Software: Verification and Testing. 11th International Haifa Verification Conference, HVC 2015. Proceedings: LNCS 9434, P19, DOI 10.1007/978-3-319-26287-1_2
- [4] Bornholt S, 2008, J R SOC INTERFACE, V5, P134, DOI DOI 10.1098/RSIF.2008.0132.F0CUS
- [5] Chaouiya C, 2004, POSITIVE SYSTEMS, V294, DOI [10.1007/978-3-540-44928-7_17, DOI 10.1007/978-3-540-44928-7_17]
- [7] Combinatorial Representation of Parameter Space for Switching Networks [J]. SIAM JOURNAL ON APPLIED DYNAMICAL SYSTEMS, 2016, 15 (04): : 2176 - 2212