College of Engineering

Parameterized synthesis of self-stabilizing protocols in symmetric networks

Publication Type

Journal Article

Year of Publication

2020

Authors

Fathiyeh Faghih

Borzoo Bonakdarpour

Conference/Journal Name

Acta Informatica

Page Numbers

271-304

Publisher

Springer

Related files

Attachment	Size
acta20.pdf (420.62 KB)	420.62 KB

Spartans Will.
© Michigan State University