Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Implementation and Application of Automata - MaRDI portal

Implementation and Application of Automata

From MaRDI portal

Publication:5897677

Jump to:navigation, search

DOI10.1007/11605157zbMath1172.68514OpenAlexW2544597226MaRDI QIDQ5897677

Christel Baier, Joachim Klein

Publication date: 13 November 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11605157

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items

Observations on determinization of Büchi automata

This page was built for publication: Implementation and Application of Automata

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5897677&oldid=16697577"