Kazumi Nakamatsu. Pipeline Valve Control Based on EVALPSN Safety Verification. JACIII, 10(5):647-656, 2006. [doi]
@article{Nakamatsu06:0,
title = {Pipeline Valve Control Based on EVALPSN Safety Verification},
author = {Kazumi Nakamatsu},
year = {2006},
url = {http://www.fujipress.jp/finder/xslt.php?mode=present&inputfile=JACII001000050006.xml},
tags = {rule-based},
researchr = {https://researchr.org/publication/Nakamatsu06%3A0},
cites = {0},
citedby = {0},
journal = {JACIII},
volume = {10},
number = {5},
pages = {647-656},
}