Crossmark

Parameterized synthesis of self-stabilizing protocols in symmetric networks

Crossref DOI link: https://doi.org/10.1007/s00236-019-00361-7

Published Online: 2019-12-20

Published Print: 2020-04

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Mirzaie, Nahal

Faghih, Fathiyeh http://orcid.org/0000-0002-8877-6895
Jacobs, Swen

Bonakdarpour, Borzoo
License Information

Text and Data Mining valid from 2019-12-20

Version of Record valid from 2019-12-20
More Information

Article History

Received: 12 February 2019

Accepted: 6 December 2019

First Online: 20 December 2019