Shinnosuke Yamaguchi, Katsumi Wasaki, Yasunari Shidama. A high reliability design for NFS server software based on the logical coloured Petri net. In Seventh International Conference on Control, Automation, Robotics and Vision, ICARCV 2002, Singapore, 2-5 December 2002, Proceedings. pages 73-77, IEEE, 2002. [doi]
Abstract is missing.