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
Space-time interpolants - MaRDI portal

Space-time interpolants

From MaRDI portal

Publication:6041130

Jump to:navigation, search

DOI10.1007/978-3-319-96145-3_25zbMath1511.68155MaRDI QIDQ6041130

Goran Frehse, Thomas A. Henzinger, Mirco Giacobbe

Publication date: 26 May 2023

Published in: Computer Aided Verification (Search for Journal in Brave)

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Attainable sets, reachability (93B03)

Related Items (1)

Symbolic analysis of linear hybrid automata -- 25 years later

This page was built for publication: Space-time interpolants

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