[IEEE 2008 Fourth International Conference on Natural Computation - Jinan, Shandong, China (2008.10.18-2008.10.20)] 2008 Fourth International Conference on Natural Computation - Probabilistic Modal Kleene Algebra and Hoare-Style Logic
Qiao, Rui, Wu, Jinzhao, Gao, XinyanYear:
2008
Language:
english
DOI:
10.1109/icnc.2008.174
File:
PDF, 397 KB
english, 2008