scientific article; zbMATH DE number 7770922

MaRDI QIDQ6091631

Javier Esparza, Michael Blondin

Publication date: 24 November 2023

Full work available at URL: https://mblondin.espaceweb.usherbrooke.ca/automata/files/book_authors.pdf

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

verificationautomata theoryparity gamesdata structuresBüchi automatainfinite wordsPresburger arithmeticfinite wordsMuller automataRabin automataStreett automataco-Büchi automata

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Data structures (68P05)

This page was built for publication: