Towards efficient verification of population protocols (Q2058386): Difference between revisions

← Older edit

@@ aliases / en / 0 / aliases / en / 0 @@
+Towards Efficient Verification of Population Protocols
@@ description / en / description / en @@
-scientific article
+scientific article; zbMATH DE number 6789821
@@ Property / title @@
+Towards Efficient Verification of Population Protocols (English)
+Normal rank
@@ Property / zbMATH Open document ID @@
+.68037
@@ Property / zbMATH Open document ID: 1380.68037 / rank @@
+Normal rank
@@ Property / DOI @@
+.1145/3087801.3087816
@@ Property / DOI: 10.1145/3087801.3087816 / rank @@
+Normal rank
@@ Property / published in @@
+Proceedings of the ACM Symposium on Principles of Distributed Computing
+Normal rank
@@ Property / publication date @@
+October 2017Timestamp +2017-10-11T00:00:00Z
Timezone +00:00
Calendar Gregorian
Precision 1 day
Before 0
After 0
-Timestamp
++2017-10-11T00:00:00Z
-Timezone
++00:00
-Calendar
+Gregorian
-Precision
+day
 Before
 After
@@ Property / publication date: 11 October 2017 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6789821
@@ Property / zbMATH DE Number: 6789821 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3155827701
@@ Property / OpenAlex ID: W3155827701 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2595598880
@@ Property / OpenAlex ID: W2595598880 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.04367
@@ Property / arXiv ID: 1703.04367 / rank @@
+Normal rank

Latest revision as of 09:34, 6 May 2024

scientific article; zbMATH DE number 6789821

Towards Efficient Verification of Population Protocols

Language	Label	Description	Also known as
English	Towards efficient verification of population protocols	scientific article; zbMATH DE number 6789821	Towards Efficient Verification of Population Protocols