Finding Boundary Elements in Ordered Sets with Application to Safety and Requirements Analysis (Q4571130): Difference between revisions

@@ Property / describes a project that uses @@
+MUSer2
@@ Property / describes a project that uses: MUSer2 / rank @@
+Normal rank
@@ 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-319-41591-8_9
+Normal rank
@@ Property / OpenAlex ID @@
+W2503202938
@@ Property / OpenAlex ID: W2503202938 / rank @@
+Normal rank
@@ Property / cites work @@
+Analysing sanity of requirements for avionics systems
+Normal rank
@@ Property / cites work @@
+Efficient detection of vacuity in temporal model checking
+Normal rank
@@ Property / cites work @@
+Q3194802
@@ Property / cites work: Q3194802 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4426369
@@ Property / cites work: Q4426369 / rank @@
+Normal rank
@@ Property / cites work @@
+A decomposition theorem for partially ordered sets
+Normal rank
@@ Property / cites work @@
+Note on Dilworth's Decomposition Theorem for Partially Ordered Sets
+Normal rank
@@ Property / cites work @@
+Fast, flexible MUS enumeration
@@ Property / cites work: Fast, flexible MUS enumeration / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithms for computing minimal unsatisfiable subsets of constraints
+Normal rank