Formalization of CTL* in the Calculus of Inductive Constructions

Please use this identifier to cite or link to this item: http://ir.sinica.edu.tw/handle/201000000A/39008

Title:	Formalization of CTL* in the Calculus of Inductive Constructions
Authors:	Ming-Hsien Tsai Bow-Yaw Wang
Issue Date:	2006-12
Conference:	11th Annual Asian Computing Science Conference (Tokyo, Japan)
URI:	http://ir.sinica.edu.tw/handle/201000000A/39008
Appears in Collections:	資訊科學研究所

Show full item record

Check