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
Dependency-Based Compositional Synthesis - MaRDI portal

Dependency-Based Compositional Synthesis

From MaRDI portal

Publication:6485902

Jump to:navigation, search

DOI10.1007/978-3-030-59152-6_25MaRDI QIDQ6485902

Bernd Finkbeiner, Noemi Passing

Publication date: 22 December 2022

Published in: 1517.68234 (Search for Journal in Brave)

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (1)

Information Flow Guided Synthesis

This page was built for publication: Dependency-Based Compositional Synthesis

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