Article

Chishti, Irfan, Ma, Jixin and Knight, Brian (2014) Ontology mapping of business process modeling based on formal temporal logic. International Journal of Advanced Computer Science and Applications, 5 (7):15. pp. 95-104. ISSN 2158-107X (Print), 2156-5570 (Online) (doi:https://doi.org/10.14569/IJACSA.2014.050715)

Conference Proceedings

Chishti, Irfan (2014) A grounding of business process modeling based on temporal logic. In: International Conference on Information Society (i-Society 2014). Institute of Electrical and Electronics Engineers, Inc., Piscataway, NJ, USA, pp. 266-273. ISBN 9781908320384 (doi:https://doi.org/10.1109/i-Society.2014.7009058)