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]
@inproceedings{FouladgarMP11-0,
title = {On Possibility of Conditional Invariant Detection},
author = {Mohammadhani Fouladgar and Behrouz Minaei-Bidgoli and Hamid Parvin},
year = {2011},
doi = {10.1007/978-3-642-23863-5_22},
url = {http://dx.doi.org/10.1007/978-3-642-23863-5_22},
researchr = {https://researchr.org/publication/FouladgarMP11-0},
cites = {0},
citedby = {0},
pages = {214-224},
booktitle = {Knowlege-Based and Intelligent Information and Engineering Systems - 15th International Conference, KES 2011, Kaiserslautern, Germany, September 12-14, 2011, Proceedings, Part II},
editor = {Andreas König and Andreas Dengel and Knut Hinkelmann and Koichi Kise and Robert J. Howlett and Lakhmi C. Jain},
volume = {6882},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-23862-8},
}