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)|
|Depositing User:||ing Paolo Nicastro|
|Date Deposited:||18 Oct 2010 08:15|
|Last Modified:||30 Apr 2014 19:41|
Actions (login required)