Citation:
Asokan S, Sebastian R. Process compliance checking using model checker. In: International Conference on Inventive Communication and Computational Technologies (ICICCT). Coimbatore, India: IEEE; 2017. p. 363-368.
Date Presented:
10 March 2017DOI: 10.1109/ICICCT.2017.7975220
INSPEC Accession Number: 17042211