Diagnostic Information for Realizability (Q5452707): 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-540-78163-9_9
+Normal rank
@@ Property / OpenAlex ID @@
+W1603488308
@@ Property / OpenAlex ID: W1603488308 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4824478
@@ Property / cites work: Q4824478 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4818818
@@ Property / cites work: Q4818818 / rank @@
+Normal rank
@@ Property / cites work @@
+Diagnostic Information for Realizability
@@ Property / cites work: Diagnostic Information for Realizability / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean Abstraction for Temporal Logic Satisfiability
+Normal rank
@@ Property / cites work @@
+Verification: Theory and Practice
@@ Property / cites work: Verification: Theory and Practice / rank @@
+Normal rank
@@ Property / cites work @@
+Computer aided verification. 19th international conference, CAV 2007, Berlin, Germany, July 3--7, 2007. Proceedings.
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Q4205072
@@ Property / cites work: Q4205072 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4493880
@@ Property / cites work: Q4493880 / rank @@
+Normal rank
@@ Property / DBLP publication ID @@
+conf/vmcai/CimattiRST08
@@ Property / DBLP publication ID: conf/vmcai/CimattiRST08 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5452707