Back to Search
Start Over
Automated Analysis of Impact of Scheduling on Performance of Self-stabilizing Protocols.
- Source :
- Stabilization, Safety & Security of Distributed Systems: 17th International Symposium, SSS 2015, Edmonton, AB, Canada, August 18-21, 2015, Proceedings; 2015, p156-170, 15p
- Publication Year :
- 2015
Details
- Language :
- English
- ISBNs :
- 9783319217406
- Database :
- Complementary Index
- Journal :
- Stabilization, Safety & Security of Distributed Systems: 17th International Symposium, SSS 2015, Edmonton, AB, Canada, August 18-21, 2015, Proceedings
- Publication Type :
- Book
- Accession number :
- 110736017
- Full Text :
- https://doi.org/10.1007/978-3-319-21741-3_11