Item:Q5368997: Difference between revisions
From MaRDI portal
Item:Q5368997
Changed an Item |
EloiFerrer (talk | contribs) Redirected to Q2058386 Tag: New redirect |
||||||||||||||
(2 intermediate revisions by the same user not shown) | |||||||||||||||
redirect | redirect | ||||||||||||||
Q2058386 | |||||||||||||||
label / en | label / en | ||||||||||||||
description / en | description / en | ||||||||||||||
Property / instance of | |||||||||||||||
Property / instance of: scholarly article / rank | |||||||||||||||
Property / title | |||||||||||||||
Property / title: Towards Efficient Verification of Population Protocols (English) / rank | |||||||||||||||
Property / zbMATH Open document ID | |||||||||||||||
Property / zbMATH Open document ID: 1380.68037 / rank | |||||||||||||||
Property / DOI | |||||||||||||||
Property / DOI: 10.1145/3087801.3087816 / rank | |||||||||||||||
Property / author | |||||||||||||||
Property / author: Michael Blondin / rank | |||||||||||||||
Property / author | |||||||||||||||
Property / author: Javier Esparza / rank | |||||||||||||||
Property / author | |||||||||||||||
Property / author: Stefan Jaax / rank | |||||||||||||||
Property / author | |||||||||||||||
Property / author: Philipp J. Meyer / rank | |||||||||||||||
Property / published in | |||||||||||||||
Property / published in: Proceedings of the ACM Symposium on Principles of Distributed Computing / rank | |||||||||||||||
Property / publication date | |||||||||||||||
| |||||||||||||||
Property / publication date: 11 October 2017 / rank | |||||||||||||||
Property / full work available at URL | |||||||||||||||
Property / full work available at URL: https://arxiv.org/abs/1703.04367 / rank | |||||||||||||||
Property / Mathematics Subject Classification ID | |||||||||||||||
Property / Mathematics Subject Classification ID: 68M14 / rank | |||||||||||||||
Property / Mathematics Subject Classification ID | |||||||||||||||
Property / Mathematics Subject Classification ID: 68M12 / rank | |||||||||||||||
Property / Mathematics Subject Classification ID | |||||||||||||||
Property / Mathematics Subject Classification ID: 68Q25 / rank | |||||||||||||||
Property / Mathematics Subject Classification ID | |||||||||||||||
Property / Mathematics Subject Classification ID: 68Q60 / rank | |||||||||||||||
Property / zbMATH DE Number | |||||||||||||||
Property / zbMATH DE Number: 6789821 / rank | |||||||||||||||
Property / zbMATH Keywords | |||||||||||||||
Property / zbMATH Keywords: automated verification / rank | |||||||||||||||
Property / zbMATH Keywords | |||||||||||||||
Property / zbMATH Keywords: population protocols / rank | |||||||||||||||
Property / zbMATH Keywords | |||||||||||||||
Property / zbMATH Keywords: termination / rank | |||||||||||||||
Property / MaRDI profile type | |||||||||||||||
Property / MaRDI profile type: MaRDI publication profile / rank | |||||||||||||||
Property / OpenAlex ID | |||||||||||||||
Property / OpenAlex ID: W2595598880 / rank | |||||||||||||||
Property / arXiv ID | |||||||||||||||
Property / arXiv ID: 1703.04367 / rank | |||||||||||||||
links / mardi / name | links / mardi / name | ||||||||||||||
Latest revision as of 09:34, 6 May 2024
Redirect to: