التفاصيل البيبلوغرافية
| العنوان: |
Approximating Non-interference and Erasure in Rewriting Logic |
| المؤلفون: |
Alba-Castro, Mauricio, Alpuente, Maria, Escobar, Santiago |
| المصدر: |
2010 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2010 12th International Symposium on. :124-132 Sep, 2010 |
| Relation: |
2010 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) |
| قاعدة البيانات: |
IEEE Xplore Digital Library |
Full Text Finder