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

scientific article; zbMATH DE number 6744945

From MaRDI portal

Publication:5275398

Jump to:navigation, search

DOI10.4230/LIPIcs.FSTTCS.2015.575zbMath1366.68011MaRDI QIDQ5275398

Véronique Cortier, Eric le Morvan, Vincent Cheval

Publication date: 13 July 2017

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

zbMATH Keywords

composition formal methods implementation protocol channels

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Distributed systems (68M14) Network protocols (68M12)

This page was built for publication:

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