Abstraction for model checking multi-agent systems (Q352029): Difference between revisions

@@ Property / DOI @@
-.1007/s11704-010-0358-y
@@ Property / DOI: 10.1007/s11704-010-0358-y / rank @@
-Normal rank
@@ Property / author @@
-Bo Sun
@@ Property / author: Bo Sun / 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/s11704-010-0358-y
+Normal rank
@@ Property / OpenAlex ID @@
+W2003959877
@@ Property / OpenAlex ID: W2003959877 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4016548
@@ Property / cites work: Q4016548 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738471
@@ Property / cites work: Q4738471 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3141897
@@ Property / cites work: Q3141897 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3431037
@@ Property / cites work: Q3431037 / rank @@
+Normal rank
@@ Property / cites work @@
+Proving partial order properties
@@ Property / cites work: Proving partial order properties / rank @@
+Normal rank
@@ Property / cites work @@
+Q4461756
@@ Property / cites work: Q4461756 / rank @@
+Normal rank
@@ Property / cites work @@
+The dining cryptographers problem: Unconditional sender and recipient untraceability
+Normal rank
@@ Property / cites work @@
+Abstractions of Multi-agent Systems
@@ Property / cites work: Abstractions of Multi-agent Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754081
@@ Property / cites work: Q2754081 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S11704-010-0358-Y
@@ Property / DOI: 10.1007/S11704-010-0358-Y / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:352029