Timed automaton (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Timed automaton" in English language version.

refsWebsite

Global rank English rank

207^th place

136^th place

1books.google.com

3^rd place

3^rd place

69^th place

59^th place

2^nd place

2^nd place

1semanticscholar.org

11^th place

8^th place

arxiv.org

Lasota, SƗawomir; Walukiewicz, Igor (2008). "Alternating Timed Automata". ACM Transactions on Computational Logic. 9 (2): 1–26. arXiv:cs/0512031. doi:10.1145/1342991.1342994. S2CID 12319.

books.google.com

Modern Applications Of Automata, page 118

doi.org

Lasota, SƗawomir; Walukiewicz, Igor (2008). "Alternating Timed Automata". ACM Transactions on Computational Logic. 9 (2): 1–26. arXiv:cs/0512031. doi:10.1145/1342991.1342994. S2CID 12319.

psu.edu

citeseerx.ist.psu.edu

Rajeev Alur, David L. Dill. 1994 A Theory of Timed Automata. In Theoretical Computer Science, vol. 126, 183–235, pp. 194–1955

semanticscholar.org

api.semanticscholar.org

Lasota, SƗawomir; Walukiewicz, Igor (2008). "Alternating Timed Automata". ACM Transactions on Computational Logic. 9 (2): 1–26. arXiv:cs/0512031. doi:10.1145/1342991.1342994. S2CID 12319.