共 3 条
[1]
[Anonymous], 1958, ASME J APPL MECH
[2]
PNUELI D, 1968, ISRAEL J TECHNOL, V6, P200
[3]
PNUELI D, 1972, J ENGINEERING MATHEM