Abstractions of data types (Q2491212): Difference between revisions

@@ Property / DOI @@
-.1007/s00236-006-0010-3
@@ Property / DOI: 10.1007/s00236-006-0010-3 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+SPIN
@@ Property / describes a project that uses: SPIN / 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/s00236-006-0010-3
+Normal rank
@@ Property / OpenAlex ID @@
+W2001532353
@@ Property / OpenAlex ID: W2001532353 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2769592
@@ Property / cites work: Q2769592 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4471712
@@ Property / cites work: Q4471712 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic model checking: \(10^{20}\) states and beyond
+Normal rank
@@ Property / cites work @@
+Q4884237
@@ Property / cites work: Q4884237 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4223066
@@ Property / cites work: Q4223066 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4817541
@@ Property / cites work: Q4817541 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3221381
@@ Property / cites work: Q3221381 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3995131
@@ Property / cites work: Q3995131 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4702597
@@ Property / cites work: Q4702597 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4326390
@@ Property / cites work: Q4326390 / rank @@
+Normal rank
@@ Property / cites work @@
+A new solution of Dijkstra's concurrent programming problem
+Normal rank
@@ Property / cites work @@
+Q4002642
@@ Property / cites work: Q4002642 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4494394
@@ Property / cites work: Q4494394 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4255591
@@ Property / cites work: Q4255591 / rank @@
+Normal rank
@@ Property / cites work @@
+Software reliability methods. Foreword by Edmund M. Clarke
+Normal rank
@@ Property / cites work @@
+A lattice for abstract interpretation of dynamic (LISP-like) structures
+Normal rank
@@ Property / DOI @@
+.1007/S00236-006-0010-3
@@ Property / DOI: 10.1007/S00236-006-0010-3 / rank @@
+Normal rank