Orchestrating stream graphs using model checking
You are here
| Title | Orchestrating stream graphs using model checking |
| Publication Type | Journal Article |
| Year of Publication | 2013 |
| Authors | Malik A, Gregg D |
| Journal | ACM Transactions on Architecture and Code Optimization |
| Volume | 10 |
| Issue | 3 |
| Date Published | 2013 |
