共 36 条
[1]
Abdulla P., 2009, LNCS, V5504
[2]
Abdulla P. A., 2001, Applications and Theory of Petri Nets 2001. 22nd International Conference, ICATPN 2001. Proceedings (Lecture Notes in Computer Science Vol.2075), P53
[3]
Abdulla P.A., 2002, INFINITY 2002
[4]
Abdulla P.A., 2011, 26 ANN IEEE S LOG CO
[5]
Abdulla P. A., 2007, LOGICAL METHODS COMP, V3
[6]
Abdulla PA, 2004, LECT NOTES COMPUT SC, V3253, P343
[10]
Optimal paths in weighted timed automata
[J].
THEORETICAL COMPUTER SCIENCE,
2004, 318 (03)
:297-322