Alexander A. Letichevsky, Olexander A. Letychevskyi, Vladimir S. Peschanenko. About One Efficient Algorithm for Reachability Checking in Modeling and Its Implementation. In Vadim Ermolayev, Heinrich C. Mayr, Mykola S. Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych, editors, ICT in Education, Research, and Industrial Applications - 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers. Volume 347 of Communications in Computer and Information Science, pages 149-164, Springer, 2012. [doi]
Abstract is missing.