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

scientific article; zbMATH DE number 6302905

From MaRDI portal

Publication:5419881

Jump to:navigation, search

zbMath1291.03029MaRDI QIDQ5419881

John C. McCabe-Dansted, Tim French, M. A. Reynolds

Publication date: 11 June 2014

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

zbMATH Keywords

RTL continuous time compositional models

Mathematics Subject Classification ID

Temporal logic (03B44)

Related Items (3)

THE TEMPORAL LOGIC OF TWO DIMENSIONAL MINKOWSKI SPACETIME IS DECIDABLE ⋮ Reactive synthesis from interval temporal logic specifications ⋮ Synthesis for continuous time

This page was built for publication:

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