Symbolic Model Checking the Knowledge in Herbivore Protocol

There are no files associated with this record.

Title Symbolic Model Checking the Knowledge in Herbivore Protocol
Author Luo, Xiangyu; Su, Kaile; Gu, Ming; Wu, Lijun; Yang, Jinji
Publication Title Model Checking and Artificial Intelligence - 6th International Workshop, MoChArt 2010
Editor R. van der Meyden and J.-G. Smaus
Year Published 2011
Publisher Springer-Verlag
Peer Reviewed Yes
Published Yes
Alternative URI http://dx.doi.org/10.1007/978-3-642-20674-0_8
Faculty Faculty of Science, Environment, Engineering and Technology
Publication Type Conference Publications (Full Written Paper - Refereed)

Show full item record

Griffith University copyright notice