Pipeline Valve Control Based on EVALPSN Safety Verification

Kazumi Nakamatsu. Pipeline Valve Control Based on EVALPSN Safety Verification. JACIII, 10(5):647-656, 2006. [doi]

Abstract

Abstract is missing.