Mohammadhani Fouladgar, Behrouz Minaei-Bidgoli, Hamid Parvin. On Possibility of Conditional Invariant Detection. In Andreas König, Andreas Dengel, Knut Hinkelmann, Koichi Kise, Robert J. Howlett, Lakhmi C. Jain, editors, Knowlege-Based and Intelligent Information and Engineering Systems - 15th International Conference, KES 2011, Kaiserslautern, Germany, September 12-14, 2011, Proceedings, Part II. Volume 6882 of Lecture Notes in Computer Science, pages 214-224, Springer, 2011. [doi]
Abstract is missing.