李广元的代表论著

李广元,唐稚松.反应系统的连续时序逻辑表示和验证,计算机学报,26(11): 1424—1434, 2003.

李广元, 唐稚松. 带有时钟变量的线性时序逻辑与实时系统验证,软件学报， 13（1）：33—41, 2002.

李广元，唐稚松.基于时序逻辑的实时系统模型检查，软件学报, 13(2): 193-202, 2002.

李广元, 唐稚松. Formalization and Verification of Pointers in the Temporal Logic Language XYZ/E Programs. Journal of Software, Vol.11, No.3, 285--292, 2000.