Séminaire Performance et Généricité du LRDE le Mercredi 30 septembre 2009
                        
                        
by Thierry GERAUD 18 Sep '09
                    by Thierry GERAUD 18 Sep '09
18 Sep '09
                          
                            
                            1
                            
                          
                          
                            
                            0
                            
                          
                          
                            
    
                          
                        
                    
                        
                            
                                
                            
                            Séminaire Performance et Généricité du LRDE le Mercredi 30 septembre 2009
                        
                        
by Thierry GERAUD 18 Sep '09
                    by Thierry GERAUD 18 Sep '09
18 Sep '09
                          
                            
                            1
                            
                          
                          
                            
                            0
                            
                          
                          
                            
    
                          
                        
                    
                          
                            
                            1
                            
                          
                          
                            
                            0
                            
                          
                          
                            
    
                          
                        
                    
                          
                            
                            1
                            
                          
                          
                            
                            0
                            
                          
                          
                            
    
                          
                        
                    
                          
                            
                            1
                            
                          
                          
                            
                            0
                            
                          
                          
                            
    
                          
                        
                    
                          
                            
                            1
                            
                          
                          
                            
                            0
                            
                          
                          
                            
    
                          
                        
                    24 Jun '09
                          
                            
                            1
                            
                          
                          
                            
                            0
                            
                          
                          
                            
    
                          
                        
                    
                        
                            
                                
                            
                            Publication: ATVA'09: On-the-fly Emptiness Check of	Transition-based Streett Automata
                        
                        
by Alexandre Duret-Lutz 23 Jun '09
                    by Alexandre Duret-Lutz 23 Jun '09
23 Jun '09
                          
                            
                            1
                            
                          
                          
                            
                            0
                            
                          
                          
                            
    
                          
                        
                    
                          
                            
                            1
                            
                          
                          
                            
                            0
                            
                          
                          
                            
    
                          
                        
                    
                          
                            
                            1
                            
                          
                          
                            
                            0