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 fast transition of linear temporal logic formulae to transition-based Büchi automata
Laixiang Shan; Zheng Qin
International Journal of Computer Applications in Technology (IJCAT), 2016 Vol.53 No.1, pp.62 - 70
14 + 18 =

Thank you for your feedback.

Return to top