High-level test synthesis with hierarchical test generation
                                            statement of authorship
                                    
                                    
Gert Jervan, Petru Eles, Zebo Peng, Jaan Raik, Raimund Ubar
                                                    
                                            
                                            location of publication
                                    
                                    
[S.l.]
                                                    
                                            
                                            publisher
                                    
                                    
                                
                                            year of publication
                                    
                                    
                                
                                            pages
                                    
                                    
p. 291-296
                                                    
                                            
                                            ISBN
                                    
                                    
87-982637-2-2
                                                    
                                            
                                            notes
                                    
                                    
Bibl. 9 ref
                                                    
                                            
                                            language
                                    
                                    
inglise
                                                    
                                            
                            Jervan, G., Eles, P., Peng, Z., Raik, J., Ubar, R. High-level test synthesis with hierarchical test generation // 17th NORCHIP Conference : Oslo, Norway, 8-9 November 1999 : proceedings. [S.l.] : IEEE, 1999. p. 291-296.