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 1424032 - MaRDI portal

scientific article; zbMATH DE number 1424032

From MaRDI portal

Publication:4945222

Jump to:navigation, search

zbMath0944.68128MaRDI QIDQ4945222

Amir Pnueli, Yonit Kesten

Publication date: 26 September 2000

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

zbMATH Keywords

finite-state Büchi automaton verification by augmented finitary abstraction

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items

Verification by augmented abstraction: The automata-theoretic view

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