Crossref Citations
                  This article has been cited by the following publications. This list is generated based on data provided by Crossref.
                                
                                    
                                    Ursic, Silvio
                                  1984.
                                  7th International Conference on Automated Deduction.
                                  
                                  
                                  
                                  Vol. 170, 
                                  Issue. , 
                                
                                    p. 
                                    80.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    Keutzer, Kurt
                                  1996.
                                  Formal Methods in Computer-Aided Design.
                                  
                                  
                                  
                                  Vol. 1166, 
                                  Issue. , 
                                
                                    p. 
                                    1.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    Vasyukevich, Vadim
                                  2011.
                                  Asynchronous Operators of Sequential Logic: Venjunction & Sequention.
                                  
                                  
                                  
                                  Vol. 101, 
                                  Issue. , 
                                
                                    p. 
                                    1.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    Chang, Wonil
                                    
                                    Song, Hyun Ah
                                     and 
                                    Lee, Soo-Young
                                  2013.
                                  Neural Information Processing.
                                  
                                  
                                  
                                  Vol. 8226, 
                                  Issue. , 
                                
                                    p. 
                                    106.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    Marques-Pita, Manuel
                                    
                                    Rocha, Luis M.
                                     and 
                                    Nunes Amaral, Luís A.
                                  2013.
                                  Canalization and Control in Automata Networks: Body Segmentation in Drosophila melanogaster.
                                  
                                  
                                  PLoS ONE, 
                                  Vol. 8, 
                                  Issue. 3, 
                                
                                    p. 
                                    e55946.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    Lauria, Massimo
                                    
                                    Pudlák, Pavel
                                    
                                    Rödl, Vojtěch
                                     and 
                                    Thapen, Neil
                                  2013.
                                  Automata, Languages, and Programming.
                                  
                                  
                                  
                                  Vol. 7965, 
                                  Issue. , 
                                
                                    p. 
                                    684.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    Asarin, Eugene
                                    
                                    Maler, Oded
                                    
                                    Nickovic, Dejan
                                     and 
                                    Ulus, Dogan
                                  2017.
                                  Formal Modeling and Analysis of Timed Systems.
                                  
                                  
                                  
                                  Vol. 10419, 
                                  Issue. , 
                                
                                    p. 
                                    207.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    Lauria, Massimo
                                  2018.
                                  Sailing Routes in the World of Computation.
                                  
                                  
                                  
                                  Vol. 10936, 
                                  Issue. , 
                                
                                    p. 
                                    254.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    Polkowski, Lech T.
                                  2023.
                                  Logic: Reference Book for Computer Scientists.
                                  
                                  
                                  
                                  Vol. 245, 
                                  Issue. , 
                                
                                    p. 
                                    333.
                                
                                
                        
                        
                        
                         
 
