Kazumi Nakamatsu, Toshiaki Imai, Haruhiko Nishimura. Intelligent Safety Verification for Multi-car Elevator System Based on EVALPSN. In Ngoc Thanh Nguyen, Chonggun Kim, Adam Janiak, editors, Intelligent Information and Database Systems - Third International Conference, ACIIDS 2011, Daegu, Korea, April 20-22, 2011, Proceedings, Part I. Volume 6591 of Lecture Notes in Computer Science, pages 496-505, Springer, 2011. [doi]
Abstract is missing.