Xiangyu Luo, Kaile Su, Ming Gu, Lijun Wu, Jinji Yang. Symbolic Model Checking the Knowledge in Herbivore Protocol. In Ron van der Meyden, Jan-Georg Smaus, editors, Model Checking and Artificial Intelligence - 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers. Volume 6572 of Lecture Notes in Computer Science, pages 112-129, Springer, 2010. [doi]
Abstract is missing.