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

scientific article; zbMATH DE number 1444737

From MaRDI portal

Publication:4952318

Jump to:navigation, search

zbMath0953.68091MaRDI QIDQ4952318

Stefania Gnesi, Gioia Ristori

Publication date: 9 May 2000

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

zbMATH Keywords

labelled transition systems \(\pi\)-logic

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (1)

Families of Symmetries as Efficient Models of Resource Binding

This page was built for publication:

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