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)

Full Record

Griffith University copyright notice