Zijian Zhou, Xiaoyu Song, Sofiène Tahar, Eduard Cerny, Francisco Corella, Michel Langevin. Formal Verification of the Island Tunnel Controller Using Multiway Decision Graphs. In Mandayam K. Srivas, Albert John Camilleri, editors, Formal Methods in Computer-Aided Design, First International Conference, FMCAD 96, Palo Alto, California, USA, November 6-8, 1996, Proceedings. Volume 1166 of Lecture Notes in Computer Science, pages 233-247, Springer, 1996.
Abstract is missing.