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
Checking deadlock-freedom of parametric component-based systems - MaRDI portal

Checking deadlock-freedom of parametric component-based systems

From MaRDI portal

Publication:6091402

Jump to:navigation, search

DOI10.1007/978-3-030-17465-1_1zbMath1527.68022MaRDI QIDQ6091402

Radu Iosif, Joseph Sifakis, Marius Bozga

Publication date: 24 November 2023

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Mathematics Subject Classification ID

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

Related Items (1)

Computing parameterized invariants of parameterized Petri nets

This page was built for publication: Checking deadlock-freedom of parametric component-based systems

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