Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II > Computing Scores of Forwarding Schemes in Switched Networks with Probabilistic Faults
Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II |
Axel Legay; Tiziana Margaria
Springer Berlin Heidelberg
Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II
Computing Scores of Forwarding Schemes in Switched Networks with Probabilistic Faults
Authors

Guy Avni; Shubham Goel; Thomas A. Henzinger; Guillermo Rodriguez-Navas

ARI Id

1674219869860_3527893

Access

Not Available Free

Pages

169-187

DOI

10.1007/978-3-662-54580-5_10

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-662-54580-5_10

Table of Contents of Book
Chapters/HeadingsAuthor(s)PagesInfo
Loading...
Chapters/HeadingsAuthor(s)PagesInfo
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings