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
Finite Automata and the Analysis of Infinite Transition Systems - MaRDI portal

Finite Automata and the Analysis of Infinite Transition Systems

From MaRDI portal

Publication:4907868

Jump to:navigation, search

DOI10.1142/9789814271059_0016zbMath1256.68113OpenAlexW2407481752MaRDI QIDQ4907868

Wolfgang Thomas

Publication date: 26 February 2013

Published in: Modern Applications of Automata Theory (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/d2b44987c210c25a4a1792d5f8d5216f5d4a932f

zbMATH Keywords

model checking Caucal hierarchy infinite transition systems

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 (1)

This page was built for publication: Finite Automata and the Analysis of Infinite Transition Systems

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