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:2764139

Jump to:navigation, search

zbMath0987.68892MaRDI QIDQ2764139

Christophe Darlot, Françoise Bellegarde, Jacques Julliand, Olga Kouchnarenko

Publication date: 22 January 2002

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

zbMATH Keywords

reactive systems

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Computing methodologies and applications (68U99) Abstract data types; algebraic specification (68Q65)

Related Items (1)

Foundations for using linear temporal logic in Event-B refinement

This page was built for publication:

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