Sohel Khan, Abdul Waheed. Modeling and Formal Verification of IMPP. In Ban Al-Ani, Hamid R. Arabnia, Youngsong Mun, editors, Proceedings of the International Conference on Software Engineering Research and Practice, SERP 03, June 23 - 26, 2003, Las Vegas, Nevada, USA, Volume 2. pages 522-528, CSREA Press, 2003.
@inproceedings{KhanW03:0, title = {Modeling and Formal Verification of IMPP}, author = {Sohel Khan and Abdul Waheed}, year = {2003}, tags = {meta-model, modeling, Meta-Environment}, researchr = {https://researchr.org/publication/KhanW03%3A0}, cites = {0}, citedby = {0}, pages = {522-528}, booktitle = {Proceedings of the International Conference on Software Engineering Research and Practice, SERP 03, June 23 - 26, 2003, Las Vegas, Nevada, USA, Volume 2}, editor = {Ban Al-Ani and Hamid R. Arabnia and Youngsong Mun}, publisher = {CSREA Press}, isbn = {1-932415-20-3}, }