Article Comments

Contributions from readers on our articles are very welcome. This form will let us retrieve the current data in the database and allows us to consider your comments.

A branching-time logic to verify synchronously coupled concurrent systems and its relevance to web-based systems
Vasumathi K. Narayanan; Sungeetha Dakshinamurthy
International Journal of Web Engineering and Technology (IJWET), 2015 Vol.10 No.4, pp.311 - 333
7 + 5 =

Thank you for your feedback.