New Search Strategies for the Petri Net CEGAR Approach (Q2941159): Difference between revisions

@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W585091348
@@ Property / OpenAlex ID: W585091348 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2769596
@@ Property / cites work: Q2769596 / rank @@
+Normal rank
@@ Property / cites work @@
+Ten Years of Saturation: A Petri Net Perspective
@@ Property / cites work: Ten Years of Saturation: A Petri Net Perspective / rank @@
+Normal rank
@@ Property / cites work @@
+Counterexample-guided abstraction refinement for symbolic model checking
+Normal rank
@@ Property / cites work @@
+Linear Programming
@@ Property / cites work: Linear Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Extensions to the CEGAR Approach on Petri Nets
@@ Property / cites work: Extensions to the CEGAR Approach on Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Applying CEGAR to the Petri Net State Equation
@@ Property / cites work: Applying CEGAR to the Petri Net State Equation / rank @@
+Normal rank
@@ Property / cites work @@
+Applying CEGAR to the Petri Net State Equation
@@ Property / cites work: Applying CEGAR to the Petri Net State Equation / rank @@
+Normal rank
@@ Property / DBLP publication ID @@
+conf/apn/HajduVB15
@@ Property / DBLP publication ID: conf/apn/HajduVB15 / rank @@
+Normal rank