Automated Analysis of Reo Circuits using Symbolic Execution
| Autor: | Pourvatan, Bahman, Sirjani, Marjan, Hojjat, Hossein, Arbab, Farhad |
|---|---|
| Zdroj: | In Electronic Notes in Theoretical Computer Science 10 November 2009 255:137-158 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect