. . . "188331508"^^ . . "379"^^ . . "Aut\u00F4mato de B\u00FCchi"@pt . . . "xvi+451"@fr . . "1287"^^ . "Automata, Languages and Machines, Vol. A"@fr . "Chap. XIV. Infinite Behavior of Finite Automata"@fr . . . . "Academic Press"@fr . . "2500"^^ . . . . "2002"^^ . "Pure and Applied Mathematics"@fr . "1689040"^^ . "Eilenberg"@fr . . . . "58"^^ . . . . "1990"^^ . "Samuel"@fr . . "Wolfgang Thomas"@fr . . . . . . "viii+385"@fr . "EilenbergA"@fr . . . . "Automata on infinite objects"@fr . . "24374"^^ . . . . "Automata, logics, and infinite games : A guide to current research"@fr . "Handbook of Theoretical Computer Science: Formal Models and Semantics"@fr . . . "B"@fr . "133"^^ . . "Lecture Notes in Computer Science"@fr . ": Jan Van Leeuwen"@fr . "En informatique th\u00E9orique, un automate de B\u00FCchi est un \u03C9-automate ou automate fini op\u00E9rant sur des mots infinis, avec une condition d'acceptation particuli\u00E8re : une trace (ou calcul ou chemin infini) est r\u00E9ussie si et seulement si elle passe un nombre infini de fois par au moins un \u00E9tat acceptant. Un mot infini est accept\u00E9 s'il est l'\u00E9tiquette d'un calcul r\u00E9ussi. Ce type d'automate est utilis\u00E9 en v\u00E9rification de mod\u00E8les. Ce type d'automate a \u00E9t\u00E9 d\u00E9fini par le math\u00E9maticien Julius Richard B\u00FCchi."@fr . . "Automate de B\u00FCchi"@fr . . . "3"^^ . "Berndt"@fr . . "0"^^ . . "En informatique th\u00E9orique, un automate de B\u00FCchi est un \u03C9-automate ou automate fini op\u00E9rant sur des mots infinis, avec une condition d'acceptation particuli\u00E8re : une trace (ou calcul ou chemin infini) est r\u00E9ussie si et seulement si elle passe un nombre infini de fois par au moins un \u00E9tat acceptant. Un mot infini est accept\u00E9 s'il est l'\u00E9tiquette d'un calcul r\u00E9ussi. Ce type d'automate est utilis\u00E9 en v\u00E9rification de mod\u00E8les. Ce type d'automate a \u00E9t\u00E9 d\u00E9fini par le math\u00E9maticien Julius Richard B\u00FCchi."@fr . . . "Farwer"@fr . . . . . "Springer-Verlag"@fr . . . . "978"^^ . . . "1974"^^ . "\u03C9-Automata"@fr . ": Erich Gr\u00E4del, Wolfgang Thomas et Thomas Wilke"@fr . . . . .