Tetsuya Mizutani, Shigeru Igarashi, Yasuwo Ikeda, Masayuki Shio. Formal Analysis of an Airplane Accident in ::::N::::Sigma-Labeled Calculus. In Hepu Deng, Lanzhou Wang, Fu Lee Wang, Jingsheng Lei, editors, Artificial Intelligence and Computational Intelligence, International Conference, AICI 2009, Shanghai, China, November 7-8, 2009. Proceedings. Volume 5855 of Lecture Notes in Computer Science, pages 469-478, Springer, 2009. [doi]
Abstract is missing.