One-pass Tableaux for Computation Tree Logic

Title	One-pass Tableaux for Computation Tree Logic
Publication Type	Conference Proceedings
Year of Conference	2007
Authors	Abate P, Gore R
Conference Name	LPAR
Series Title	Lecture notes in computer science
Volume	4790
Conference Start Date	2007
Publisher	springer
URL	http://www.informatik.uni-trier.de/~ley/db/conf/lpar/lpar2007.html#AbateGW07

Pietro Abate homepage