On-the-fly Emptiness Check of Transition-Based Streett Automata (Q3648699): Difference between revisions

@@ 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-642-04761-9_17
+Normal rank
@@ Property / OpenAlex ID @@
+W1523885398
@@ Property / OpenAlex ID: W1523885398 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2747613
@@ Property / cites work: Q2747613 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4493881
@@ Property / cites work: Q4493881 / rank @@
+Normal rank
@@ Property / cites work @@
+Model Checking Software
@@ Property / cites work: Model Checking Software / rank @@
+Normal rank
@@ Property / cites work @@
+Q4144755
@@ Property / cites work: Q4144755 / rank @@
+Normal rank
@@ Property / cites work @@
+Modalities for model checking: Branching time logic strikes back
+Normal rank
@@ Property / cites work @@
+Q3738540
@@ Property / cites work: Q3738540 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4551134
@@ Property / cites work: Q4551134 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4422087
@@ Property / cites work: Q4422087 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification by augmented abstraction: The automata-theoretic view
+Normal rank
@@ Property / cites work @@
+Q4507820
@@ Property / cites work: Q4507820 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4530804
@@ Property / cites work: Q4530804 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3330495
@@ Property / cites work: Q3330495 / rank @@
+Normal rank
@@ Property / cites work @@
+Faster algorithms for the nonemptiness of streett automata and for communication protocol pruning
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Depth-First Search and Linear Graph Algorithms
@@ Property / cites work: Depth-First Search and Linear Graph Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Q5480170
@@ Property / cites work: Q5480170 / rank @@
+Normal rank
@@ Property / cites work @@
+The Büchi Complementation Saga
@@ Property / cites work: The Büchi Complementation Saga / rank @@
+Normal rank
@@ Property / cites work @@
+Automata-Theoretic Model Checking Revisited
@@ Property / cites work: Automata-Theoretic Model Checking Revisited / rank @@
+Normal rank