Crossref Citations
                                  
                                    
                                    
                                      
                                                            This Book has been
                                        cited by the following publications. This list is generated based on data provided by Crossref.
                                     
                                   
                                  
                                        
                                          
                                                
                                                
                                                    
                                                    Gorrieri, Roberto
                                                    
                                                    Roccetti, Marco
                                                     and 
                                                    Stancampiano, Enrico
                                                  1995.
                                                  A theory of processes with durational actions.
                                                  
                                                  
                                                  Theoretical Computer Science, 
                                                  Vol. 140, 
                                                  Issue. 1, 
                                                
                                                    p. 
                                                    73.
                                                
                                                
                                        
                                        
                                        
                                        
      
                                          
                                                
                                                
                                                    
                                                    Huth, M.
                                                     and 
                                                    Kwiatkowska, M.
                                                  1997.
                                                  Quantitative analysis and model checking.
                                                  
                                                  
                                                  
                                                  
                                                  
                                                
                                                    p. 
                                                    111.
                                                
                                                
                                        
                                        
                                        
                                        
      
                                          
                                                
                                                
                                                    
                                                    Bernardo, Marco
                                                  1997.
                                                  Automata, Languages and Programming.
                                                  
                                                  
                                                  
                                                  Vol. 1256, 
                                                  Issue. , 
                                                
                                                    p. 
                                                    358.
                                                
                                                
                                        
                                        
                                        
                                        
      
                                          
                                                
                                                
                                                    
                                                    Franceschinis, G.
                                                     and 
                                                    Ribaudo, M.
                                                  1998.
                                                  Lectures on Petri Nets II: Applications.
                                                  
                                                  
                                                  
                                                  Vol. 1492, 
                                                  Issue. , 
                                                
                                                    p. 
                                                    386.
                                                
                                                
                                        
                                        
                                        
                                        
      
                                          
                                                
                                                
                                                    
                                                    Hermanns, Holger
                                                     and 
                                                    Lohrey, Markus
                                                  1998.
                                                  CONCUR'98 Concurrency Theory.
                                                  
                                                  
                                                  
                                                  Vol. 1466, 
                                                  Issue. , 
                                                
                                                    p. 
                                                    237.
                                                
                                                
                                        
                                        
                                        
                                        
      
                                          
                                                
                                                
                                                    
                                                    Stark, E.W.
                                                     and 
                                                    Smolka, S.A.
                                                  1998.
                                                  Compositional analysis of expected delays in networks of probabilistic I/O automata.
                                                  
                                                  
                                                  
                                                  
                                                  
                                                
                                                    p. 
                                                    466.
                                                
                                                
                                        
                                        
                                        
                                        
      
                                          
                                                
                                                
                                                    
                                                    Heckmann, Reinhold
                                                     and 
                                                    Huth, Michael
                                                  1998.
                                                  Quantitative semantics, topology, and possibility measures.
                                                  
                                                  
                                                  Topology and its Applications, 
                                                  Vol. 89, 
                                                  Issue. 1-2, 
                                                
                                                    p. 
                                                    151.
                                                
                                                
                                        
                                        
                                        
                                        
      
                                          
                                                
                                                
                                                    
                                                    Hermanns, H.
                                                    
                                                    Herzog, U.
                                                    
                                                    Klehmet, U.
                                                    
                                                    Mertsiotakis, V.
                                                     and 
                                                    Siegle, M.
                                                  1998.
                                                  Computer Performance Evaluation.
                                                  
                                                  
                                                  
                                                  Vol. 1469, 
                                                  Issue. , 
                                                
                                                    p. 
                                                    51.
                                                
                                                
                                        
                                        
                                        
                                        
      
                                          
                                                
                                                
                                                    
                                                    Hillston, J.
                                                     and 
                                                    Thomas, N.
                                                  1998.
                                                  Product form solution for a class of PEPA models.
                                                  
                                                  
                                                  
                                                  
                                                  
                                                
                                                    p. 
                                                    152.
                                                
                                                
                                        
                                        
                                        
                                        
      
                                          
                                                
                                                
                                                    
                                                    Bravetti, Mario
                                                    
                                                    Bernardo, Marco
                                                     and 
                                                    Gorrieri, Roberto
                                                  1998.
                                                  CONCUR'98 Concurrency Theory.
                                                  
                                                  
                                                  
                                                  Vol. 1466, 
                                                  Issue. , 
                                                
                                                    p. 
                                                    405.
                                                
                                                
                                        
                                        
                                        
                                        
      
                                          
                                                
                                                
                                                    
                                                    de Alfaro, Luca
                                                  1998.
                                                  CONCUR'98 Concurrency Theory.
                                                  
                                                  
                                                  
                                                  Vol. 1466, 
                                                  Issue. , 
                                                
                                                    p. 
                                                    423.
                                                
                                                
                                        
                                        
                                        
                                        
      
                                          
                                                
                                                
                                                    
                                                    de Alfaro, L.
                                                  1998.
                                                  How to specify and verify the long-run average behaviour of probabilistic systems.
                                                  
                                                  
                                                  
                                                  
                                                  
                                                
                                                    p. 
                                                    454.
                                                
                                                
                                        
                                        
                                        
                                        
      
                                          
                                                
                                                
                                                    
                                                    Bowman, Howard
                                                  1998.
                                                  A LOTOS based tutorial on formal methods for object-oriented distributed systems.
                                                  
                                                  
                                                  New Generation Computing, 
                                                  Vol. 16, 
                                                  Issue. 4, 
                                                
                                                    p. 
                                                    343.
                                                
                                                
                                        
                                        
                                        
                                        
      
                                          
                                                
                                                
                                                    
                                                    D'Argenio, P.R.
                                                    
                                                    Katoen, J.-P.
                                                     and 
                                                    Brinksma, E.
                                                  1999.
                                                  Specification and analysis of soft real-time systems: quantity and quality.
                                                  
                                                  
                                                  
                                                  
                                                  
                                                
                                                    p. 
                                                    104.
                                                
                                                
                                        
                                        
                                        
                                        
      
                                          
                                                
                                                
                                                    
                                                    Bernardo, Marco
                                                  1999.
                                                  Let's evaluate performance algebraically.
                                                  
                                                  
                                                  ACM Computing Surveys, 
                                                  Vol. 31, 
                                                  Issue. 3es, 
                                                
                                                    p. 
                                                    7.
                                                
                                                
                                        
                                        
                                        
                                        
      
                                          
                                                
                                                
                                                    
                                                    Hermanns, Holger
                                                     and 
                                                    Siegle, Markus
                                                  1999.
                                                  Formal Methods for Real-Time and Probabilistic Systems.
                                                  
                                                  
                                                  
                                                  Vol. 1601, 
                                                  Issue. , 
                                                
                                                    p. 
                                                    244.
                                                
                                                
                                        
                                        
                                        
                                        
      
                                          
                                                
                                                
                                                    
                                                    Clark, G
                                                    
                                                    Gilmore, S
                                                    
                                                    Hillston, J
                                                     and 
                                                    Thomas, N
                                                  1999.
                                                  Experiences with the PEPA performance modelling tools.
                                                  
                                                  
                                                  IEE Proceedings - Software, 
                                                  Vol. 146, 
                                                  Issue. 1, 
                                                
                                                    p. 
                                                    11.
                                                
                                                
                                        
                                        
                                        
                                        
      
                                          
                                                
                                                
                                                    
                                                    Huth, Michael
                                                  1999.
                                                  Foundations of Software Technology and Theoretical Computer Science.
                                                  
                                                  
                                                  
                                                  Vol. 1738, 
                                                  Issue. , 
                                                
                                                    p. 
                                                    369.
                                                
                                                
                                        
                                        
                                        
                                        
      
                                          
                                                
                                                
                                                    
                                                    Clark, Graham
                                                    
                                                    Gilmore, Stephen
                                                     and 
                                                    Hillston, Jane
                                                  1999.
                                                  Formal Methods for Real-Time and Probabilistic Systems.
                                                  
                                                  
                                                  
                                                  Vol. 1601, 
                                                  Issue. , 
                                                
                                                    p. 
                                                    211.
                                                
                                                
                                        
                                        
                                        
                                        
      
                                          
                                                
                                                
                                                    
                                                    Buchholz, Peter
                                                  1999.
                                                  Exact performance equivalence: An equivalence relation for stochastic automata.
                                                  
                                                  
                                                  Theoretical Computer Science, 
                                                  Vol. 215, 
                                                  Issue. 1-2, 
                                                
                                                    p. 
                                                    263.