共 72 条
[1]
[Anonymous], 1993, CAMBRIDGE TRACTS THE
[2]
[Anonymous], 2006, INTRO AUTOMATA THEOR
[3]
Baier C, 2008, PRINCIPLES OF MODEL CHECKING, P1
[6]
Calder M, 2006, LECT NOTES COMPUT SC, V4220, P44
[7]
Calder M, 2009, LECT NOTES COMPUT SC, V5750, P1
[8]
Cardelli L, 2005, LECT NOTES COMPUT SC, V3737, P145
[9]
Cardelli L, 2005, LECT NOTES COMPUT SC, V3082, P257