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

scientific article; zbMATH DE number 5499373

From MaRDI portal

Publication:5506391

Jump to:navigation, search

zbMath1167.68383MaRDI QIDQ5506391

Andrzej Zbrzezny, Bożena Woźna

Publication date: 28 January 2009

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

zbMATH Keywords

automated verification of timed automata timed automata with discrete data model of Java programs

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication:

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