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

scientific article; zbMATH DE number 2006494

From MaRDI portal

Publication:4435868

Jump to:navigation, search

zbMath1024.68706MaRDI QIDQ4435868

Reiko Heckel, Jochen Malte Küster, Gregor Engels

Publication date: 20 November 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2185/21850272.htm

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

zbMATH Keywords

model verification behavioral consistency meta modeling

Mathematics Subject Classification ID

Theory of programming languages (68N15) Computing methodologies and applications (68U99)

Related Items (1)

Methods and tools for translation of graphical diagrams

This page was built for publication:

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