Model Checking Temporal Logics of Knowledge Via OBDDs

There are no files associated with this record.

Title Model Checking Temporal Logics of Knowledge Via OBDDs
Author Su, Kaile; Sattar, Abdul; Luo, Xiangyu
Year Published 2007
Publisher Oxford University Press
Citation The Computer Journal, Vol. 50(4), pp. 403-420
Peer Reviewed Yes
Published Yes
Publisher URI http://comjnl.oxfordjournals.org/
Alternative URI http://dx.doi.org/10.1093/comjnl/bxm009
Research Centre Institute for Integrated and Intelligent Systems
Faculty Faculty of Science, Environment, Engineering and Technology
Publication Type Journal Articles (Refereed Article)

Show full item record

Griffith University copyright notice