共 36 条
[1]
[Anonymous], 2002, PhD thesis
[2]
Asavoae I.M., 2013, LNCS, V7841, P59
[3]
Baier C, 2008, PRINCIPLES OF MODEL CHECKING, P1
[4]
Berdine J, 2004, LECT NOTES COMPUT SC, V3328, P97
[5]
Biere Armin, 2003, ADV COMPUT, V58, P118, DOI DOI 10.1016/S0065-2458(03)58003-2
[6]
Bonsangue M, 2011, LECT NOTES COMPUT SC, V6527, P226, DOI 10.1007/978-3-642-19829-8_15
[7]
Bouajjani A, 1997, LECT NOTES COMPUT SC, V1243, P135
[8]
Bouajjani A, 2007, LECT NOTES COMPUT SC, V4590, P207