Kazumi Nakamatsu, Kenji Kawasumi, Atsuyuki Suzuki. Intelligent Safety Verification for Pipeline Based on EVALPSN. In Kazumi Nakamatsu, Jair Minoro Abe, editors, Advances in Logic Based Intelligent Systems - Selected Papers of LAPTEC 2005, Himeji, Japan, April 2-4, 2005. Volume 132 of Frontiers in Artificial Intelligence and Applications, pages 63-70, IOS Press, 2005.
Abstract is missing.