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

scientific article; zbMATH DE number 517246

From MaRDI portal

Publication:4282632

Jump to:navigation, search

zbMath0796.68007MaRDI QIDQ4282632

R. Gotzhein

Publication date: 23 February 1994

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

zbMATH Keywords

distributed systems open systems system design temporal epistemic logic requirement specifications

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Research exposition (monographs, survey articles) pertaining to computer science (68-02)

This page was built for publication:

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