Katalog der Deutschen Nationalbibliothek

Go to:

Catalogue (Beta)

Media

Free online access
Free online access

Javier Esparza, Stefan Jaax, Mikhail Raskin et al.

The complexity of verifying population protocols

Published in: Distributed computing 34, 2, 24.3.2021, date:4.2021

Title

The complexity of verifying population protocols

Involved 

Javier Esparza (Verfasser)
Stefan Jaax (Verfasser)
Mikhail Raskin (Verfasser)
Chana Weil-Kennedy (Verfasser)
SpringerLink (Online service) (Sonstige)

Published in

Distributed computing 34, 2, 24.3.2021, date:4.2021, Seite 133-177

Published

2021

Language

Englisch

Country

Deutschland

Topic

Informatik

Subject

Computer Communication Networks.
Computer Hardware.
Computer Systems Organization and Communication Networks.
Software Engineering/Programming and Operating Systems.
Theory of Computation.

DDC notation

004.6

Persistent identifier

urn:nbn:de:101:1-2021051616043890688635 (URN)
10.1007/s00446-021-00390-x (DOI)

Record ID

1233580515
Please note

The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link:

DNB portal