Hierarchical Adaptive State Space Caching Based on Level Sampling (Q3617761): 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-00768-2_21
+Normal rank
@@ Property / OpenAlex ID @@
+W1599006800
@@ Property / OpenAlex ID: W1599006800 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Heuristic search in restricted memory
@@ Property / cites work: Heuristic search in restricted memory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4037099
@@ Property / cites work: Q4037099 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4427905
@@ Property / cites work: Q4427905 / rank @@
+Normal rank
@@ Property / cites work @@
+Real-Time Model Checking on Secondary Storage
@@ Property / cites work: Real-Time Model Checking on Secondary Storage / rank @@
+Normal rank
@@ Property / cites work @@
+Survey on Directed Model Checking
@@ Property / cites work: Survey on Directed Model Checking / rank @@
+Normal rank
@@ Property / cites work @@
+Q4530809
@@ Property / cites work: Q4530809 / rank @@
+Normal rank
@@ Property / cites work @@
+Model Checking Software
@@ Property / cites work: Model Checking Software / rank @@
+Normal rank
@@ Property / cites work @@
+Using partial orders for the efficient verification of deadlock freedom and safety properties
+Normal rank
@@ Property / cites work @@
+Q4003964
@@ Property / cites work: Q4003964 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4057549
@@ Property / cites work: Q4057549 / rank @@
+Normal rank
@@ Property / cites work @@
+Depth-first iterative-deepening: An optimal admissible tree search
+Normal rank
@@ Property / cites work @@
+Frontier search
@@ Property / cites work: Frontier search / rank @@
+Normal rank
@@ Property / cites work @@
+Q4787235
@@ Property / cites work: Q4787235 / rank @@
+Normal rank