共 38 条
[21]
Optimum design criteria for solar hot water systems
[J].
RENEWABLE ENERGY,
1996, 9 (1-4)
:649-652
[23]
Implementing statecharts in PROMELA/SPIN
[J].
2ND IEEE WORKSHOP ON INDUSTRIAL STRENGTH FORMAL SPECIFICATION TECHNIQUES - PROCEEDINGS,
1999,
:90-101
[29]
Optimal design for a thermosyphon solar water heater
[J].
RENEWABLE ENERGY,
1997, 11 (03)
:351-361