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
Safely Freezing LTL - MaRDI portal

Safely Freezing LTL

From MaRDI portal

Publication:5386001

Jump to:navigation, search

DOI10.1007/11944836_35zbMath1177.68147OpenAlexW1573947583MaRDI QIDQ5386001

Ranko Lazić

Publication date: 17 April 2008

Published in: FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11944836_35

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Temporal logic (03B44)

Related Items (2)

Model checking memoryful linear-time logics over one-counter automata ⋮ On Freeze LTL with Ordered Attributes

This page was built for publication: Safely Freezing LTL

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