Faella, Marco (2007) An Accelerated Algorithm for 3-Color Parity Games with an Application to Timed Games. In: CAV (19th International Conference on Computer Aided Verification), August, 2007, Berlin (Germany).

Full text not available from this repository. [error in script] [error in script]

Item Type:	Conference or Workshop Item (UNSPECIFIED)
Lingua:	English
Title:	An Accelerated Algorithm for 3-Color Parity Games with an Application to Timed Games
Creators:	Creators Email Faella, Marco UNSPECIFIED
Autore/i:	M. FAELLA; L. DE ALFARO
Date:	2007
Number of Pages:	0
Department:	Scienze fisiche
Identification Number:	10.1007/978-3-540-73368-3
Event Title:	CAV (19th International Conference on Computer Aided Verification)
Event Location:	Berlin (Germany)
Event Dates:	August, 2007
Title of Book:	Lecture Notes in Computer Science
Nazione dell'editore:	GERMANIA
Place of Publication:	Berlin
Publisher:	Springer
Date:	2007
ISBN:	978-3-540-73367-6
Volume:	4590
Page Range:	pp. 108-120
Number of Pages:	0
Identification Number:	10.1007/978-3-540-73368-3
Date Deposited:	18 Oct 2010 08:15
Last Modified:	30 Apr 2014 19:41
URI:	http://www.fedoa.unina.it/id/eprint/5678

Downloads

Actions (login required)

View Item