Extended Nested Dual System Groups, Revisited (Q2798774): Difference between revisions

@@ Property / author @@
+Xiao-lei Dong
@@ Property / author: Xiao-lei Dong / rank @@
+Normal rank
@@ Property / author @@
+Zhen Fu Cao
@@ Property / author: Zhen Fu Cao / 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.1007/978-3-662-49384-7_6
+Normal rank
@@ Property / OpenAlex ID @@
+W2294850982
@@ Property / OpenAlex ID: W2294850982 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3165946
@@ Property / cites work: Q3165946 / rank @@
+Normal rank
@@ Property / cites work @@
+Monitoring Metric First-Order Temporal Properties
@@ Property / cites work: Monitoring Metric First-Order Temporal Properties / rank @@
+Normal rank
@@ Property / cites work @@
+Comparing LTL Semantics for Runtime Verification
@@ Property / cites work: Comparing LTL Semantics for Runtime Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Trace-Length Independent Runtime Monitoring of Quantitative Policies in LTL
+Normal rank
@@ Property / cites work @@
+Bounded variability of metric temporal logic
@@ Property / cites work: Bounded variability of metric temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4472252
@@ Property / cites work: Q4472252 / rank @@
+Normal rank
@@ Property / cites work @@
+A brief account of runtime verification
@@ Property / cites work: A brief account of runtime verification / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Modeling and Analysis of Timed Systems
@@ Property / cites work: Formal Modeling and Analysis of Timed Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Online timed pattern matching using derivatives
@@ Property / cites work: Online timed pattern matching using derivatives / rank @@
+Normal rank
@@ Property / cites work @@
+Analyzing program termination and complexity automatically with \textsf{AProVE}
+Normal rank
@@ Property / cites work @@
+Proving non-termination
@@ Property / cites work: Proving non-termination / rank @@
+Normal rank
@@ Property / cites work @@
+Alternation for Termination
@@ Property / cites work: Alternation for Termination / rank @@
+Normal rank
@@ Property / cites work @@
+Constrained Term Rewriting tooL
@@ Property / cites work: Constrained Term Rewriting tooL / rank @@
+Normal rank
@@ Property / cites work @@
+Minimal-Model-Guided Approaches to Solving Polynomial Constraints and Extensions
+Normal rank
@@ Property / cites work @@
+Policy Iteration-Based Conditional Termination and Ranking Functions
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Loop Summarization and Termination Analysis
@@ Property / cites work: Loop Summarization and Termination Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Non-termination Checking for Imperative Programs
@@ Property / cites work: Non-termination Checking for Imperative Programs / rank @@
+Normal rank
@@ Property / cites work @@
+A Programming Language for Spatial Distribution of Net Systems
+Normal rank
@@ Property / cites work @@
+Limits indexed by category-valued 2-functors
@@ Property / cites work: Limits indexed by category-valued 2-functors / rank @@
+Normal rank