WestminsterResearch
Login | Create Account

Items where Author is Gaintzarain, Jose

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] RSSPD [feed] Atom
Group by: Date | Item Type | Creators | No Grouping
Jump to: 2010
Number of items: 1.

2010

Bolotov, Alexander and Gaintzarain, Jose and Lucio, Paqui (2010) Invariant-free deduction for CTL*: the tableau method. In: Bolotov, Alexander, (ed.) Proceedings of the automated reasoning workshop 2010: bridging the gap between theory and practice. ARW 2010. University of Westminster.

This list was generated on Wed Jun 19 13:46:58 2013 BST.
WestminsterResearch is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.