Preface of the special issue in memoriam Helmut Veith (Q1696579): 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/s10703-017-0307-6
+Normal rank
@@ Property / OpenAlex ID @@
+W2768799399
@@ Property / OpenAlex ID: W2768799399 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754081
@@ Property / cites work: Q2754081 / rank @@
+Normal rank
@@ Property / cites work @@
+Counterexample-guided abstraction refinement for symbolic model checking
+Normal rank
@@ Property / Wikidata QID @@
+Q62040426
@@ Property / Wikidata QID: Q62040426 / rank @@
+Normal rank
@@ Property / DBLP publication ID @@
+journals/fmsd/GottlobHW17
@@ Property / DBLP publication ID: journals/fmsd/GottlobHW17 / rank @@
+Normal rank