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
Parameter Synthesis for Timed Kripke Structures - MaRDI portal

Parameter Synthesis for Timed Kripke Structures

From MaRDI portal

Publication:2934895

Jump to:navigation, search

DOI10.3233/FI-2014-1072zbMath1317.68118MaRDI QIDQ2934895

Michał Knapik, Wojciech Penczek

Publication date: 22 December 2014

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

This page was built for publication: Parameter Synthesis for Timed Kripke Structures

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