Search the dblp DataBase

Publications of Author

1. Ivana Cerná, Pavlína Vareková, Barbora Zimmerova
   Component Substitutability via Equivalencies of Component-Interaction Automata. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:182, n:, pp:39-55 [Journal]
   
2. 
   Component-Interaction Automata Approach (CoIn). [Citation Graph (, )][DBLP]
   
   
3. 
   Partial Order Reduction for State/Event LTL. [Citation Graph (, )][DBLP]
   
   
4. 
   Subject-observer specification with component-interaction automata. [Citation Graph (, )][DBLP]
   
   
5. 
   Effective verification of systems with a dynamic number of components. [Citation Graph (, )][DBLP]
   
   
6. 
   A Case Study in Parallel Verification of Component-Based Systems. [Citation Graph (, )][DBLP]
   
   
7. 
   Preface. [Citation Graph (, )][DBLP]