Automate de Büchi (French Wikipedia)

Analysis of information sources in references of the Wikipedia article "Automate de Büchi" in French language version.

refsWebsite

Global rank French rank

1,185^th place

1,318^th place

2^nd place

3^rd place

low place

274^th place

223^rd place

613^th place

961^st place

acm.org (Global: 1,185^th place; French: 1,318^th place)

Christel Baier et Joost-Pieter Katoen, Principles of Model Checking (Representation and Mind Series), The MIT Press, 31 mai 2008, 975 p. (ISBN 978-0-262-02649-9 et 9780262026499, lire en ligne), p. 191
Erich Grädel, Wolfgang Thomas et Thomas Wilke, Automata logics, and infinite games : a guide to current research, Springer-Verlag New York, Inc., 1^er janvier 2002, 385 p. (ISBN 978-3-540-00388-5, lire en ligne), p. 11, sous-section 1.4.1
Erich Grädel, Wolfgang Thomas et Thomas Wilke, Automata logics, and infinite games : a guide to current research, Springer-Verlag New York, Inc., 1^er janvier 2002, 385 p. (ISBN 978-3-540-00388-5, lire en ligne), p. 18, Theorem 1.30.
Christel Baier et Joost-Pieter Katoen, Principles of Model Checking (Representation and Mind Series), The MIT Press, 31 mai 2008, 975 p. (ISBN 978-0-262-02649-9 et 9780262026499, lire en ligne), p. 185, Th. 4.42
Christel Baier et Joost-Pieter Katoen, Principles of Model Checking (Representation and Mind Series), The MIT Press, 31 mai 2008, 975 p. (ISBN 978-0-262-02649-9 et 9780262026499, lire en ligne)

Robert McNaughton, « Testing and generating infinite sequences by a finite automaton », Information and Control, vol. 9,‎ 1966, p. 521-530 (DOI 10.1016/s0019-9958(66)80013-x).
A. P. Sistla, M. Y. Vardi et P. Wolper, « The complementation problem for Büchi automata with applications to temporal logic », Theoretical Computer Science, vol. 49,‎ 1987, p. 217–237 (DOI 10.1016/0304-3975(87)90008-9).
(en) Paul Gastin et Denis Oddoux, « Fast LTL to Büchi Automata Translation », Computer Aided Verification, Springer, Berlin, Heidelberg, lecture Notes in Computer Science,‎ 18 juillet 2001, p. 53–65 (ISBN 3540445854, DOI 10.1007/3-540-44585-4_6, lire en ligne, consulté le 7 février 2018)
Yong Li, Yu-Fang Chen, Lijun Zhang et Depeng Liu, « A novel learning algorithm for Büchi automata based on family of DFAs and classification trees », Information and Computation, vol. 281,‎ décembre 2021, article n^o 104678 (DOI 10.1016/j.ic.2020.104678).

(en) Guillaume Sadegh, Laboratoire de Recherche et Développement de l’Epita, Complementing Büchi Automata, t. 0903, révision 2073 (Technical Report), Le Kremlin-Bicêtre, mai 2009 (lire en ligne)

(en) Paul Gastin et Denis Oddoux, « Fast LTL to Büchi Automata Translation », Computer Aided Verification, Springer, Berlin, Heidelberg, lecture Notes in Computer Science,‎ 18 juillet 2001, p. 53–65 (ISBN 3540445854, DOI 10.1007/3-540-44585-4_6, lire en ligne, consulté le 7 février 2018)