Slicing Communicating Automata Specifications for Efficient Model Reduction

Author(s):  
Sebastien Labbe ◽  
Jean-Pierre Gallois ◽  
Marc Pouzet
1989 ◽  
Author(s):  
Wassim M. Haddad ◽  
Dennis S. Bernstein
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document