共 45 条
[1]
Asarin E., 2002, Computer Aided Verification. 14th International Conference, CAV 2002. Proceedings (Lecture Notes in Computer Science Vol.2404), P365
[2]
Asarin E, 2000, LECT NOTES COMPUT SC, V1790, P20
[4]
Dang T, 1998, LECT NOTES COMPUT SC, V1386, P96
[5]
Frehse G, 2005, LECT NOTES COMPUT SC, V3414, P258
[6]
Frehse G., 2011, LNCS, V6806, P379, DOI DOI 10.1007/978-3-642-22110-1
[7]
Girard A, 2005, LECT NOTES COMPUT SC, V3414, P291
[8]
Girard A, 2008, LECT NOTES COMPUT SC, V4981, P215
[10]
Greenstreet MR, 1998, LECT NOTES COMPUT SC, V1386, P159