Home > Tools and Algorithms for the Construction and Analysis of Systems: 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings > Semantic Reduction of Thread Interleavings in Concurrent Programs
Tools and Algorithms for the Construction and Analysis of Systems: 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings |
Springer Berlin Heidelberg
Semantic Reduction of Thread Interleavings in Concurrent Programs
Chapter Info
Authors
ARI Id
1664721436228_2921432
Access
Not Available Free
Pages
124-138
DOI
Chapter URL
https://rd.springer.com/chapter/10.1007/978-3-642-00768-2_12
Table of Contents of Book
| Chapters/Headings | Author(s) | Pages | Info |
| Loading... | |||
| Chapters/Headings | Author(s) | Pages | Info |
Similar Books
Loading...
Similar Chapters
Loading...
Similar Thesis
Loading...
Similar News
Loading...
Similar Articles
Loading...
Similar Article Headings
Loading...