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
Temporal-logic property preservation under Z refinement - MaRDI portal

Temporal-logic property preservation under Z refinement

From MaRDI portal
Publication:1941860

DOI10.1007/s00165-011-0177-4zbMath1259.68032OpenAlexW2079360995MaRDI QIDQ1941860

Graeme Smith, John Derrick

Publication date: 22 March 2013

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-011-0177-4




Related Items (2)


Uses Software



Cites Work




This page was built for publication: Temporal-logic property preservation under Z refinement