![](/img/cover-not-exists.png)
[IEEE 2013 Fifth International Conference on Computational and Information Sciences (ICCIS) - Shiyang, China (2013.06.21-2013.06.23)] 2013 International Conference on Computational and Information Sciences - Computational Semantics of a Verification Logic of Local Sessions
Xiao, YinyinYear:
2013
DOI:
10.1109/iccis.2013.224
File:
PDF, 734 KB
2013