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.
Item Type: Conference or Workshop Item (UNSPECIFIED)
Language: English
Title: An Accelerated Algorithm for 3-Color Parity Games with an Application to Timed Games
Creators:
CreatorsEmail
Faella, MarcoUNSPECIFIED
Autor/s: 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
Country of publishing: 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

Actions (login required)

View Item View Item