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

scientific article; zbMATH DE number 5201504

From MaRDI portal

Publication:5422299

Jump to:navigation, search

zbMath1124.68061MaRDI QIDQ5422299

Andrzej Zbrzezny, Agata Półrola

Publication date: 17 October 2007

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

zbMATH Keywords

reachability analysis

Mathematics Subject Classification ID

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

Related Items

Abstraction refinement and antichains for trace inclusion of infinite state systems

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