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.

Timed CTL checking of time critical cloud applications using timed bigraphs
Fateh Latreche; Faiza Belala
International Journal of Critical Computer-Based Systems (IJCCBS), 2019 Vol.9 No.4, pp.379 - 406
17 + 15 =

Thank you for your feedback.

Return to top