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.

Formal specification and validation of multi-agent behaviour using TLA+ and TLC model checker
Toufik Taibi
International Journal of Artificial Intelligence and Soft Computing (IJAISC), 2008 Vol.1 No.1, pp.99 - 113
15 + 8 =

Thank you for your feedback.

Return to top