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]
@inproceedings{MizutaniIIS09,
title = {Formal Analysis of an Airplane Accident in ::::N::::Sigma-Labeled Calculus},
author = {Tetsuya Mizutani and Shigeru Igarashi and Yasuwo Ikeda and Masayuki Shio},
year = {2009},
doi = {10.1007/978-3-642-05253-8_52},
url = {http://dx.doi.org/10.1007/978-3-642-05253-8_52},
tags = {analysis},
researchr = {https://researchr.org/publication/MizutaniIIS09},
cites = {0},
citedby = {0},
pages = {469-478},
booktitle = {Artificial Intelligence and Computational Intelligence, International Conference, AICI 2009, Shanghai, China, November 7-8, 2009. Proceedings},
editor = {Hepu Deng and Lanzhou Wang and Fu Lee Wang and Jingsheng Lei},
volume = {5855},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-05252-1},
}