Griffith University | Griffith Research Online | Browse by Author "Yang, Jinji"

Local Navigation

Now showing items 1-2 of 2

1.	Symbolic Model Checking the Knowledge in Herbivore Protocol Publication Type: Conference Publications (Full Written Paper - Refereed) Year of Publication: 2011 Author(s): Luo, Xiangyu, Su, Kaile, Gu, Ming, Wu, Lijun, Yang, Jinji

2.	Improving Encoding Efficiency for Bounded Model Checking Publication Type: Conference Publications (Full Written Paper - Refereed) Year of Publication: 2008 Author(s): Yang, Jinji, Su, Kaile, Chen, Qingliang

Now showing items 1-2 of 2