External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Intelligent Safety Verification for Pipeline Based on EVALPSN

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.

Authors

Kazumi Nakamatsu

This author has not been identified. Look up 'Kazumi Nakamatsu' in Google

Kenji Kawasumi

This author has not been identified. Look up 'Kenji Kawasumi' in Google

Atsuyuki Suzuki

This author has not been identified. Look up 'Atsuyuki Suzuki' in Google
runs on