Cite
HARVARD Citation
Narayanan, V. et al. (2015). A branching-time logic to verify synchronously coupled concurrent systems and its relevance to web-based systems. International journal of Web engineering and technology. pp. 311-333. [Online].