On Stubborn Sets in the Verification of Linear Time Temporal Properties (Q6487389): Difference between revisions

@@ Property / cites work @@
+Analysis of Petri nets with a dynamic priority method
+Normal rank
@@ Property / cites work @@
+Computer aided verification. 5th international conference, CAV '93, Elounda, Greece, June 28 - July 1, 1993. Proceedings
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3738540
@@ Property / cites work: Q3738540 / rank @@
+Normal rank
@@ Property / cites work @@
+Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
+Normal rank
@@ Property / cites work @@
+Q4037381
@@ Property / cites work: Q4037381 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of distributed programs using representative interleaving sequences
+Normal rank
@@ Property / cites work @@
+Relaxed visibility enhances partial order reduction
+Normal rank
@@ Property / cites work @@
+Transition Systems of Elementary Net Systems with Localities
+Normal rank
@@ Property / cites work @@
+Combining partial-order reductions with on-the-fly model-checking.
+Normal rank
@@ Property / cites work @@
+Partial-order reduction in the weak modal mu-calculus
+Normal rank
@@ Property / cites work @@
+Q3219122
@@ Property / cites work: Q3219122 / rank @@
+Normal rank
@@ Property / cites work @@
+A stubborn attack on state explosion
@@ Property / cites work: A stubborn attack on state explosion / rank @@
+Normal rank
@@ Property / cites work @@
+Covering step graph
@@ Property / cites work: Covering step graph / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:6487389