A logic of behaviour in context (Q2453209): Difference between revisions

@@ Property / describes a project that uses @@
+Casaal
@@ Property / describes a project that uses: Casaal / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ic.2014.01.009
+Normal rank
@@ Property / OpenAlex ID @@
+W2136185241
@@ Property / OpenAlex ID: W2136185241 / rank @@
+Normal rank
@@ Property / cites work @@
+Anytime, anywhere
@@ Property / cites work: Anytime, anywhere / rank @@
+Normal rank
@@ Property / cites work @@
+Q4248252
@@ Property / cites work: Q4248252 / rank @@
+Normal rank
@@ Property / cites work @@
+Computational Methods in Systems Biology
@@ Property / cites work: Computational Methods in Systems Biology / rank @@
+Normal rank
@@ Property / cites work @@
+The benefits of relaxing punctuality
@@ Property / cites work: The benefits of relaxing punctuality / rank @@
+Normal rank
@@ Property / cites work @@
+Elimination of quantifiers and undecidability in spatial logics for concurrency
+Normal rank
@@ Property / cites work @@
+Formal Methods for Components and Objects
@@ Property / cites work: Formal Methods for Components and Objects / rank @@
+Normal rank
@@ Property / cites work @@
+Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures
+Normal rank
@@ Property / cites work @@
+On temporal logic constraint solving for analyzing numerical data time series
+Normal rank
@@ Property / cites work @@
+Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic
+Normal rank
@@ Property / cites work @@
+Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
+Normal rank
@@ Property / cites work @@
+Robust Satisfaction of Temporal Logic over Real-Valued Signals
+Normal rank