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
scientific article; zbMATH DE number 1405445 - MaRDI portal

scientific article; zbMATH DE number 1405445

From MaRDI portal

Publication:4938419

Jump to:navigation, search

zbMath0938.03053MaRDI QIDQ4938419

Martin Leucker

Publication date: 23 February 2000

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

zbMATH Keywords

model checking alternating Büchi automata alternation-free \(\mu\)-calculus model checking game

Mathematics Subject Classification ID

Applications of game theory (91A80) Logic in computer science (03B70) 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)

Multi-valued model checking games

This page was built for publication:

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