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

scientific article; zbMATH DE number 1905117

From MaRDI portal

Publication:4806207

Jump to:navigation, search

zbMath1010.68791MaRDI QIDQ4806207

Eugene Asarin, Gordon J. Pace, Gerardo Schneider, Sergio Yovine

Publication date: 21 May 2003

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

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (5)

Algorithmic analysis of polygonal hybrid systems. I: Reachability ⋮ Unnamed Item ⋮ Algorithmic analysis of polygonal hybrid systems. II: Phase portrait and tools ⋮ SPeeDI ⋮ Relaxing Goodness Is Still Good

This page was built for publication:

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