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

scientific article; zbMATH DE number 6401180

From MaRDI portal

Publication:5499193

Jump to:navigation, search

DOI10.13328/j.cnki.jos.004427zbMath1313.68028MaRDI QIDQ5499193

Wenyuan Wu, Yi Li, Yong Feng

Publication date: 11 February 2015

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

zbMATH Keywords

Jordan canonical form termination analysis trusted computing nonlinear loop closed and bounded domain

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication:

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