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
Book review of: S. Demri et al., Temporal logics in computer science. Finite-state systems - MaRDI portal

Book review of: S. Demri et al., Temporal logics in computer science. Finite-state systems

From MaRDI portal

Publication:2009773

Jump to:navigation, search

DOI10.1007/s11225-019-09875-0zbMath1436.00024OpenAlexW2972879495MaRDI QIDQ2009773

Sophie Pinchinat

Publication date: 29 November 2019

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-019-09875-0

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Temporal logic (03B44) External book reviews (00A17)

This page was built for publication: Book review of: S. Demri et al., Temporal logics in computer science. Finite-state systems

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