Publication:3165946
From MaRDI portal
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
68P15: Database theory
68Q60: Specification and verification (program logics, model checking, etc.)
03B44: Temporal logic
Related Items
Monitoring of temporal first-order properties with aggregations, Algorithms for monitoring real-time properties, Monitoring Metric First-Order Temporal Properties, Extended Nested Dual System Groups, Revisited