共 33 条
[1]
Agustina D, 2010, INT J ENG BUS MANAG, V2, P47
[2]
[Anonymous], 1987, THEORY LINEAR INTEGE
[4]
Barrett Clark, 2011, Computer Aided Verification. Proceedings 23rd International Conference, CAV 2011, P171, DOI 10.1007/978-3-642-22110-1_14
[7]
Bofill M, 2008, LECT NOTES COMPUT SC, V5123, P294
[10]
Cimatti A, 2013, LECT NOTES COMPUT SC, V7795, P93