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
Tools and Algorithms for the Construction and Analysis of Systems - MaRDI portal

Tools and Algorithms for the Construction and Analysis of Systems

From MaRDI portal

Publication:5899067

Jump to:navigation, search

DOI10.1007/11691372zbMath1180.68119OpenAlexW2739785336MaRDI QIDQ5899067

Stefan Leue, Wei Wei

Publication date: 2 May 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Automatic Verification of Counter Systems With Ranking Function

This page was built for publication: Tools and Algorithms for the Construction and Analysis of Systems

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