Memory arbiter synthesis and verification for a radar memory interface card
                                            author
                                    
                                    
                                
                                            statement of authorship
                                    
                                    
J.-P.Ernits
                                                    
                                            
                                            source
                                    
                                    
Nordic journal of computing
                                                    
                                            
                                            journal volume number month
                                    
                                    
12
                                                    
                                            
                                            year of publication
                                    
                                    
                                
                                            pages
                                    
                                    
2, p. 68-88
                                                    
                                            
                                            language
                                    
                                    
inglise
                                                    
                                            
                                            subject term
                                    
                                    
                                
                            Ernits, J.-P. Memory arbiter synthesis and verification for a radar memory interface card // Nordic journal of computing (2005) 12, 2, p. 68-88.