Regular set of representatives for time-constrained MSC graphs (Q436617): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+Q85
@@ Property / Mathematics Subject Classification ID: 68Q85 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q45
@@ Property / Mathematics Subject Classification ID: 68Q45 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q60
@@ Property / Mathematics Subject Classification ID: 68Q60 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6059715
@@ Property / zbMATH DE Number: 6059715 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+formal languages
@@ Property / zbMATH Keywords: formal languages / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+formal methods
@@ Property / zbMATH Keywords: formal methods / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+specification languages
@@ Property / zbMATH Keywords: specification languages / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+timed automata
@@ Property / zbMATH Keywords: timed automata / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+partial order languages
@@ Property / zbMATH Keywords: partial order languages / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+MSC graphs
@@ Property / zbMATH Keywords: MSC graphs / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+set of representatives
@@ Property / zbMATH Keywords: set of representatives / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1963663203
@@ Property / OpenAlex ID: W1963663203 / rank @@
+Normal rank
@@ Property / cites work @@
+Checking Coverage for Infinite Collections of Timed Scenarios
+Normal rank
@@ Property / cites work @@
+Q2908850
@@ Property / cites work: Q2908850 / rank @@
+Normal rank
@@ Property / cites work @@
+Regular set of representatives for time-constrained MSC graphs
+Normal rank
@@ Property / cites work @@
+Symbolically Bounding the Drift in Time-Constrained MSC Graphs
+Normal rank
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+When Are Timed Automata Determinizable?
@@ Property / cites work: When Are Timed Automata Determinizable? / rank @@
+Normal rank
@@ Property / cites work @@
+Timed Unfoldings for Networks of Timed Automata
@@ Property / cites work: Timed Unfoldings for Networks of Timed Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic Unfoldings for Networks of Timed Automata
+Normal rank
@@ Property / cites work @@
+Distributed Time-Asynchronous Automata
@@ Property / cites work: Distributed Time-Asynchronous Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q5190778
@@ Property / cites work: Q5190778 / rank @@
+Normal rank
@@ Property / cites work @@
+A Kleene theorem and model checking algorithms for existentially bounded communicating automata
+Normal rank
@@ Property / cites work @@
+A theory of regular MSC languages
@@ Property / cites work: A theory of regular MSC languages / rank @@
+Normal rank
@@ Property / cites work @@
+A partial order semantics approach to the clock explosion problem of timed automata
+Normal rank
@@ Property / cites work @@
+Q4474224
@@ Property / cites work: Q4474224 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4941891
@@ Property / cites work: Q4941891 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:436617