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

scientific article

From MaRDI portal

Publication:3783224

Jump to:navigation, search

zbMath0641.94044MaRDI QIDQ3783224

Glynn Winskel

Publication date: 1987

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

zbMATH Keywords

compositional model for the behaviour of MOS circuits models of hardware verification of hardware

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Analytic circuit theory (94C05) General logic (03B99)

This page was built for publication:

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