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 linear duration invariants by linear programming - MaRDI portal

Checking linear duration invariants by linear programming

From MaRDI portal

Publication:6560369

Jump to:navigation, search

DOI10.1007/bfb0027804zbMath1541.68229MaRDI QIDQ6560369

Li Xuandong, Dang Van Hung

Publication date: 21 June 2024

Mathematics Subject Classification ID

Applications of mathematical programming (90C90) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Checking linear duration invariants by linear programming

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