CTL model-checking over logics with non-classical negations Conferences

authors

• Chechik, M
• MacCaull, Wendy

status

• accepted 

publication date

• January 1, 2003

published in

• 33rd International Symposium on Multiple-Valued Logic, 2003. Proceedings.  Journal

presented at event

• 33rd International Symposium on Multiple-Valued Logic, 2003.  Conference

keywords

• 46 Information and Computing Sciences
• 4602 Artificial Intelligence
• 49 Mathematical Sciences
• 4904 Pure Mathematics
• 50 Philosophy and Religious Studies
• 5003 Philosophy

Digital Object Identifier (DOI)

• 10.1109/ismvl.2003.1201420

start page

• 1

end page

• 8