scientific article
From MaRDI portal
Publication:3165946
DOI10.4230/LIPIcs.FSTTCS.2008.1740zbMath1248.68318MaRDI QIDQ3165946
Felix Klaedtke, Birgit Pfitzmann, Samuel Müller, David A. Basin
Publication date: 19 October 2012
Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_bc38.html
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Database theory (68P15) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items (8)
Algorithms for monitoring real-time properties ⋮ Static checking of GDPR-related privacy compliance for object-oriented distributed systems ⋮ Monitoring of temporal first-order properties with aggregations ⋮ Almost Event-Rate Independent Monitoring of Metric Temporal Logic ⋮ Almost event-rate independent monitoring ⋮ Monitoring Metric First-Order Temporal Properties ⋮ Extended Nested Dual System Groups, Revisited ⋮ Monitoring timed properties (revisited)
This page was built for publication:
