Automa di Büchi (Italian Wikipedia)

Analysis of information sources in references of the Wikipedia article "Automa di Büchi" in Italian language version.

refsWebsite

Global rank Italian rank

1,185^th place

1,964^th place

2^nd place

7^th place

799^th place

22^nd place

6^th place

8^th place

low place

274^th place

393^rd place

613^th place

1,313^th place

acm.org

Christel Baier e Joost-Pieter Katoen, Principles of Model Checking (Representation and Mind Series), The MIT Pressª ed., 31 maggio 2008, p. 191 e p. 975, ISBN 978-0-262-02649-9.
Farwer (EN) Berndt Farwer, ω-Automata, in Erich Grädel, Wolfgang Thomas e Thomas Wilke (a cura di), Automata logics, and infinite games: A guide to current research,, collana Lecture Notes in Computer Science, n. 2500, Springer-Verlag New York, Inc., 1º gennaio 2002, pp. 3-22, ISBN 978-3-540-00388-5.
Farwer, p. 6. (EN) Berndt Farwer, ω-Automata, in Erich Grädel, Wolfgang Thomas e Thomas Wilke (a cura di), Automata logics, and infinite games: A guide to current research,, collana Lecture Notes in Computer Science, n. 2500, Springer-Verlag New York, Inc., 1º gennaio 2002, pp. 3-22, ISBN 978-3-540-00388-5.
Farwer, p. 18, Teorema 1.30. (EN) Berndt Farwer, ω-Automata, in Erich Grädel, Wolfgang Thomas e Thomas Wilke (a cura di), Automata logics, and infinite games: A guide to current research,, collana Lecture Notes in Computer Science, n. 2500, Springer-Verlag New York, Inc., 1º gennaio 2002, pp. 3-22, ISBN 978-3-540-00388-5.
Christel Baier e Joost-Pieter Katoen, Principles of Model Checking (Representation and Mind Series), The MIT Pressª ed., 31 maggio 2008, p. 185, Th. 4.42 e p. 975, ISBN 978-0-262-02649-9.
Christel Baier e Joost-Pieter Katoen, Principles of Model Checking (Representation and Mind Series), The MIT Pressª ed., 31 maggio 2008, p. 975, ISBN 978-0-262-02649-9.

(EN) Robert McNaughton, Testing and generating infinite sequences by a finite automaton, in Information and Control, vol. 9, 1966, pp. 521-530, DOI:10.1016/s0019-9958(66)80013-x.
(EN) A. P. Sistla, M. Y. Vardi e P. Wolper, The complementation problem for Büchi automata with applications to temporal logic, in Theoretical Computer Science, vol. 49, 1987, pp. 217-237, DOI:10.1016/0304-3975(87)90008-9.
(EN) Paul Gastin e Denis Oddoux, Fast LTL to Büchi Automata Translation, in Computer Aided Verification, Lecture Notes in Computer Science, Berlino, Heidelberg, Springer, 18 luglio 2001, pp. 53-65, DOI:10.1007/3-540-44585-4_6, ISBN 3-540-44585-4. URL consultato il 7 febbraio 2018.

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

(EN) Paul Gastin e Denis Oddoux, Fast LTL to Büchi Automata Translation, in Computer Aided Verification, Lecture Notes in Computer Science, Berlino, Heidelberg, Springer, 18 luglio 2001, pp. 53-65, DOI:10.1007/3-540-44585-4_6, ISBN 3-540-44585-4. URL consultato il 7 febbraio 2018.