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

scientific article; zbMATH DE number 2226803

From MaRDI portal

Publication:5705140

Jump to:navigation, search

zbMath1083.68003MaRDI QIDQ5705140

Jun Pang, Jaap-Henk Hoepman, W. J. Fokkink

Publication date: 8 November 2005

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

zbMATH Keywords

formal verification fault tolerance

Mathematics Subject Classification ID

Distributed systems (68M14) Reliability, testing and fault tolerance of networks and computer systems (68M15) Network protocols (68M12)

Related Items (1)

Certification of an exact worst-case self-stabilization time

Uses Software

PVS

This page was built for publication:

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