![](/img/cover-not-exists.png)
[IEEE 2010 Sixth International Conference on Semantics Knowledge and Grid (SKG) - Beijing, China (2010.11.1-2010.11.3)] 2010 Sixth International Conference on Semantics, Knowledge and Grids - Translating Separation Logic into a Fragment of the First-Order Logic
Sui, Yuefei, Shen, Yuming, Cao, Cungen, Wang, JuYear:
2010
Language:
english
DOI:
10.1109/SKG.2010.29
File:
PDF, 219 KB
english, 2010