Vladimir Estivill-Castro, David A. Rosenblueth. Model Checking of Transition-Labeled Finite-State Machines. In Tai-Hoon Kim, Hojjat Adeli, Haeng-Kon Kim, Heau-Jo Kang, Kyung Jung Kim, Kiumi Akingbehin, Byeong Ho Kang, editors, Software Engineering, Business Continuity, and Education - International Conferences ASEA, DRBC and EL 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings. Volume 257 of Communications in Computer and Information Science, pages 61-73, Springer, 2011. [doi]
Abstract is missing.